You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
77 lines
1.7 KiB
77 lines
1.7 KiB
#!/usr/bin/bash
|
|
|
|
set -ex
|
|
|
|
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null && pwd)"
|
|
|
|
SOURCE_DIR="$(git -C $DIR rev-parse --show-toplevel)"
|
|
if [ -z "$TARGET_DIR" ]; then
|
|
TARGET_DIR="$(mktemp -d)"
|
|
fi
|
|
|
|
# set git identity
|
|
source $DIR/identity.sh
|
|
|
|
echo "[-] Setting up repo T=$SECONDS"
|
|
|
|
cd $SOURCE_DIR
|
|
git fetch origin
|
|
|
|
rm -rf $TARGET_DIR
|
|
mkdir -p $TARGET_DIR
|
|
cd $TARGET_DIR
|
|
cp -r $SOURCE_DIR/.git $TARGET_DIR
|
|
pre-commit uninstall || true
|
|
|
|
echo "[-] bringing master-ci and devel in sync T=$SECONDS"
|
|
cd $TARGET_DIR
|
|
git fetch origin master-ci
|
|
git fetch origin devel
|
|
|
|
git checkout -f --track origin/master-ci
|
|
git reset --hard master-ci
|
|
git checkout master-ci
|
|
git reset --hard origin/devel
|
|
git clean -xdf
|
|
git lfs uninstall
|
|
|
|
# remove everything except .git
|
|
echo "[-] erasing old openpilot T=$SECONDS"
|
|
find . -maxdepth 1 -not -path './.git' -not -name '.' -not -name '..' -exec rm -rf '{}' \;
|
|
|
|
# reset source tree
|
|
cd $SOURCE_DIR
|
|
git clean -xdf
|
|
|
|
# do the files copy
|
|
echo "[-] copying files T=$SECONDS"
|
|
cd $SOURCE_DIR
|
|
cp -pR --parents $(cat release/files_*) $TARGET_DIR/
|
|
if [ ! -z "$EXTRA_FILES" ]; then
|
|
cp -pR --parents $EXTRA_FILES $TARGET_DIR/
|
|
fi
|
|
|
|
# in the directory
|
|
cd $TARGET_DIR
|
|
rm -f panda/board/obj/panda.bin.signed
|
|
|
|
# include source commit hash and build date in commit
|
|
GIT_HASH=$(git --git-dir=$SOURCE_DIR/.git rev-parse HEAD)
|
|
DATETIME=$(date '+%Y-%m-%dT%H:%M:%S')
|
|
VERSION=$(cat $SOURCE_DIR/common/version.h | awk -F\" '{print $2}')
|
|
|
|
echo "[-] committing version $VERSION T=$SECONDS"
|
|
git add -f .
|
|
git status
|
|
git commit -a -m "openpilot v$VERSION release
|
|
|
|
date: $DATETIME
|
|
master commit: $GIT_HASH
|
|
"
|
|
|
|
if [ ! -z "$BRANCH" ]; then
|
|
echo "[-] Pushing to $BRANCH T=$SECONDS"
|
|
git push -f origin master-ci:$BRANCH
|
|
fi
|
|
|
|
echo "[-] done T=$SECONDS, ready at $TARGET_DIR"
|
|
|