diff options
Diffstat (limited to 'chapter8/mpfr.sh')
| -rw-r--r-- | chapter8/mpfr.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/chapter8/mpfr.sh b/chapter8/mpfr.sh index f73b287..3d1d6b4 100644 --- a/chapter8/mpfr.sh +++ b/chapter8/mpfr.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -e ./configure --prefix=/usr \ --disable-static \ |