Skip to content

Commit

Permalink
Improve formatting of install.sh error
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Jul 17, 2019
1 parent 1bedb2d commit a0bff8e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .travis-ci.sh
Original file line number Diff line number Diff line change
Expand Up @@ -239,7 +239,7 @@ if [ "$TRAVIS_BUILD_STAGE_NAME" = "Hygiene" ] ; then
fi
done < <(sed -ne 's/.*opam-\$TAG-\([^)]*\).*"\([^"]*\)".*/\1 \2/p' shell/install.sh)
if [ $ARCHES -eq 0 ] ; then
echo "No sha512 checksums were detected in shell/install.sh"
echo "[\e[31mERROR\e[0m] No sha512 checksums were detected in shell/install.sh"
echo "That can't be right..."
exit 1
elif [ $ERROR -eq 1 ] ; then
Expand Down

0 comments on commit a0bff8e

Please sign in to comment.