diff options
Diffstat (limited to 'src/lib/make.bash')
| -rwxr-xr-x | src/lib/make.bash | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lib/make.bash b/src/lib/make.bash index 6537f0164..5714954fa 100755 --- a/src/lib/make.bash +++ b/src/lib/make.bash @@ -4,6 +4,8 @@ #!/bin/bash +set -e + echo; echo; echo %%%% making lib %%%%; echo for i in os math |