2020-07-07 21:13:18 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
set -u
|
|
|
|
|
set -e
|
2020-07-16 11:26:24 +00:00
|
|
|
set -x
|
2020-07-07 21:13:18 +00:00
|
|
|
|
2020-07-16 11:26:24 +00:00
|
|
|
BOARD_DIR="$(dirname $0)"
|
|
|
|
|
|
|
|
|
|
cp -f ${BOARD_DIR}/grub.cfg ${TARGET_DIR}/boot/grub/grub.cfg
|
|
|
|
|
|
2020-07-17 02:15:03 +00:00
|
|
|
echo "export GIT_REF=\"${GIT_REF}\"" > ${TARGET_DIR}/etc/environment
|
|
|
|
|
echo "export GIT_AUTHOR=\"${GIT_AUTHOR}\"" >> ${TARGET_DIR}/etc/environment
|
|
|
|
|
echo "export GIT_KEY=\"${GIT_KEY}\"" >> ${TARGET_DIR}/etc/environment
|
|
|
|
|
echo "export GIT_DATETIME=\"${GIT_DATETIME}\"" >> ${TARGET_DIR}/etc/environment
|
|
|
|
|
echo "export GIT_EPOCH=\"${GIT_EPOCH}\"" >> ${TARGET_DIR}/etc/environment
|
|
|
|
|
|
2020-07-16 11:26:24 +00:00
|
|
|
exit $?
|
