From b46b1d4308eb445dd0fd0162eb19169b9ca4af88 Mon Sep 17 00:00:00 2001 From: William Harrington Date: Tue, 4 May 2021 14:29:22 +0000 Subject: Remove -e and fix some indentions. --- chapter8/dejagnu.sh | 1 - 1 file changed, 1 deletion(-) (limited to 'chapter8/dejagnu.sh') diff --git a/chapter8/dejagnu.sh b/chapter8/dejagnu.sh index 41ab6fc..273ab0f 100644 --- a/chapter8/dejagnu.sh +++ b/chapter8/dejagnu.sh @@ -1,5 +1,4 @@ #!/bin/bash -set -e ./configure --prefix=/usr && makeinfo --html --no-split -o doc/dejagnu.html doc/dejagnu.texi && -- cgit v1.2.3-54-g00ecf