Skip to content

Commit

Permalink
Fix travis-build.sh again
Browse files Browse the repository at this point in the history
  • Loading branch information
james-d-mitchell committed Jun 20, 2016
1 parent 2212c4a commit 470841b
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions scripts/travis-build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ cd gap
./configure --with-gmp=system $GAP_FLAGS
make
mkdir pkg
cd ..
echo -en 'travis_fold:end:InstallGAP\r'

# Compile the Digraphs package
Expand Down

0 comments on commit 470841b

Please sign in to comment.