diff options
| author | William Harrington <kb0iic@berzerkula.org> | 2021-05-04 14:29:22 +0000 |
|---|---|---|
| committer | William Harrington <kb0iic@berzerkula.org> | 2021-05-04 14:29:22 +0000 |
| commit | b46b1d4308eb445dd0fd0162eb19169b9ca4af88 (patch) | |
| tree | 186f28c1dc8fe074d02646fd0f6e4faf5abdb06f /chapter8/isl.sh | |
| parent | 840f6bf6698d71e09254f02f7871e5b8e34f3e58 (diff) | |
Remove -e and fix some indentions.
Diffstat (limited to 'chapter8/isl.sh')
| -rw-r--r-- | chapter8/isl.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/chapter8/isl.sh b/chapter8/isl.sh index 7526c2f..2ff6dba 100644 --- a/chapter8/isl.sh +++ b/chapter8/isl.sh @@ -1,9 +1,8 @@ #!/bin/bash -set -e ./configure --prefix=/usr \ - --disable-static \ - --docdir=/usr/share/doc/isl-"${VERSION}" && + --disable-static \ + --docdir=/usr/share/doc/isl-"${VERSION}" && make && make html && |