Cirrus: fix empty checkpoint directory detection

pull/88/head
Jeremy Rand 3 years ago
parent f0a34d61a4
commit 05fb0e2b1d
No known key found for this signature in database
GPG Key ID: FD7550C2EB800711

@ -65,7 +65,7 @@ fi
if [[ "$SHOULD_BUILD" -eq 1 ]]; then
echo "Building project..."
# If rbm fails, we consider it a success as long as it saved a checkpoint.
./rbm/rbm build "$PROJECT" --target "$CHANNEL" --target ncdns-"$OS"-"$ARCH" || ls ./tmp/interrupted_dirs/*
./rbm/rbm build "$PROJECT" --target "$CHANNEL" --target ncdns-"$OS"-"$ARCH" || [ ! -z "$(ls -A ./tmp/interrupted_dirs/)" ]
else
#echo "This is a cache-only task, skipping build."
echo "Skipping build."

Loading…
Cancel
Save