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/gawk.sh | |
parent | e5cb063449df5491af4861744b80c6ea40e7cac3 (diff) |
Use AND lists and remove set -e
Diffstat (limited to 'chapter8/gawk.sh')
-rw-r--r-- | chapter8/gawk.sh | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/chapter8/gawk.sh b/chapter8/gawk.sh index f30bea4..3a25fc2 100644 --- a/chapter8/gawk.sh +++ b/chapter8/gawk.sh @@ -1,13 +1,12 @@ #!/bin/bash -set -e sed -i 's/extras//' Makefile.in -./configure --prefix=/usr +./configure --prefix=/usr && -make +make && -make -j1 install +make -j1 install && -mkdir -v /usr/share/doc/gawk-"${VERSION}" +mkdir -v /usr/share/doc/gawk-"${VERSION}" && cp -v doc/{awkforai.txt,*.{eps,pdf,jpg}} /usr/share/doc/gawk-"${VERSION}" |