diff options
author | William Harrington <kb0iic@berzerkula.org> | 2021-04-14 16:37:15 -0500 |
---|---|---|
committer | William Harrington <kb0iic@berzerkula.org> | 2021-04-14 16:37:15 -0500 |
commit | d6de6e3bc5bc4d5f3c8799df33d876116bddef14 (patch) | |
tree | 3ada7dd247cdc9fa1f6085d06a36e1b542f4e0b8 /chapter8/gmp.sh | |
parent | e5cb063449df5491af4861744b80c6ea40e7cac3 (diff) |
Use AND lists and remove set -e
Diffstat (limited to 'chapter8/gmp.sh')
-rw-r--r-- | chapter8/gmp.sh | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/chapter8/gmp.sh b/chapter8/gmp.sh index 4c346c1..7ca2523 100644 --- a/chapter8/gmp.sh +++ b/chapter8/gmp.sh @@ -1,5 +1,4 @@ #!/bin/bash -set -e # Uncomment for generic libraries # cp -v configfsf.guess config.guess @@ -8,10 +7,10 @@ set -e ./configure --prefix=/usr \ --enable-cxx \ --disable-static \ - --docdir=/usr/share/doc/gmp-"${VERSION}" + --docdir=/usr/share/doc/gmp-"${VERSION}" && -make -make html +make && +make html && -make -j1 install +make -j1 install && make -j1 install-html |