Update entrypoint.sh

This commit is contained in:
James Ives 2019-03-03 10:26:30 -05:00 committed by GitHub
parent d0ff812426
commit a32e86419f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -26,7 +26,8 @@ git push $GITHUB_REPOSITORY $BRANCH:$BRANCH && \
# Builds the project if applicable. # Builds the project if applicable.
if [ -z "$BUILD_SCRIPT" ] if [ -z "$BUILD_SCRIPT" ]
then then
$BUILD_SCRIPT && \ $BUILD_SCRIPT
fi
# Commits the data to Github. # Commits the data to Github.
git add -f $FOLDER && git add -f $FOLDER &&