Permalink
Browse files

Problem: generate.sh does not exit2 if gsl is not found

  • Loading branch information...
zoobab committed Jan 28, 2016
1 parent 99ac0e0 commit c25b7f771404f2f7e0e53fe4823dab25b418de2a
Showing with 2 additions and 0 deletions.
  1. +2 −0 generate.sh
View
@@ -1,5 +1,7 @@
#!/usr/bin/env sh
+set -e
+
gsl project.xml
chmod +x autogen.sh version.sh

0 comments on commit c25b7f7

Please sign in to comment.