urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-14 11:08:45 +03:00
Code Issues Packages Projects Releases Wiki Activity

stub out "current commit" check

Browse Source
This commit is contained in:
Anton Dyudin 2017-12-01 19:57:11 -08:00
parent d501cc0b4e
commit 649f5418e6
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
.travis/get-or-build-pill.sh
View File

@ -8,11 +8,13 @@ if [ ! $PILL_FORCE ]; then
fi
# if wget failed
if [ $TRAVIS_COMMIT ] && [ $TRAVIS_COMMIT != $HASH ]; then
echo Directory sys/ not modified in commit $TRAVIS_COMMIT
echo For auto-build please tag and push $HASH
exit 1
fi
echo FIXME ignoring CI commit, as current sys/ commits are unlikely to contain this code
# if [ $TRAVIS_COMMIT ] && [ $TRAVIS_COMMIT != $HASH ]; then
# echo Directory sys/ not modified in commit $TRAVIS_COMMIT
# echo For auto-build please tag and push $HASH
# exit 1
# fi
mkdir prev
curl < pin-parent-pill-pier.url | tar xvz -C prev/ ||