|
|
|
@ -68,6 +68,10 @@ fi |
|
|
|
# Ensure pidfile is removed before start |
|
|
|
# Ensure pidfile is removed before start |
|
|
|
rm -f "$PIDFILE" |
|
|
|
rm -f "$PIDFILE" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# Fix git remote redirect (http -> https) |
|
|
|
|
|
|
|
GIT_URL=$(git remote get-url origin 2>/dev/null) |
|
|
|
|
|
|
|
case "$GIT_URL" in http://*) echo "Fixing git remote: $GIT_URL -> https://${GIT_URL#http://}" && git remote set-url origin "https://${GIT_URL#http://}" ;; esac |
|
|
|
|
|
|
|
|
|
|
|
# Git pull |
|
|
|
# Git pull |
|
|
|
echo "Pulling latest changes..." |
|
|
|
echo "Pulling latest changes..." |
|
|
|
if ! git pull; then |
|
|
|
if ! git pull; then |
|
|
|
@ -93,8 +97,8 @@ else |
|
|
|
echo "Fast rebuild (incremental)..." |
|
|
|
echo "Fast rebuild (incremental)..." |
|
|
|
fi |
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
echo "Building with $JOBS parallel jobs..." |
|
|
|
echo "Building with $JOBS parallel jobs (lib + src only)..." |
|
|
|
if ! make -j"$JOBS" 2>&1 | tee build.log; then |
|
|
|
if ! (make -j"$JOBS" -C lib && make -j"$JOBS" -C src) 2>&1 | tee build.log; then |
|
|
|
echo "ERROR: Build failed" >&2 |
|
|
|
echo "ERROR: Build failed" >&2 |
|
|
|
exit 3 |
|
|
|
exit 3 |
|
|
|
fi |
|
|
|
fi |
|
|
|
|