diff options
author | Erich Eckner <git@eckner.net> | 2017-12-12 13:15:38 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-12-12 13:15:38 +0100 |
commit | b7186bf0895607e116dabf4fac4c9bfdc3fda730 (patch) | |
tree | b362f4ef6f9e4ac7f844f30451d15292cac0021c | |
parent | 990c4a8a7973f7f5c7cb21157e7572d2c126a680 (diff) | |
download | Make-b7186bf0895607e116dabf4fac4c9bfdc3fda730.tar.xz |
dateibeziehungen.pas: eher abbrechen bei Fehler, Fehler etwas genauer ausgeben
-rw-r--r-- | dateibeziehungen.pas | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dateibeziehungen.pas b/dateibeziehungen.pas index 6c3958a..c1cf391 100644 --- a/dateibeziehungen.pas +++ b/dateibeziehungen.pas @@ -1077,8 +1077,9 @@ begin else begin assignFile(ausg,ausgabeDatei); rewrite(ausg); + writeln(ausg,'set -e'); for i:=0 to befehle.count-1 do - writeln(ausg,'('+befehle[i]+') || (read -p "Ein Fehler ist aufgetreten! ... "; exit 1)'); + writeln(ausg,'('+befehle[i]+') || (printf ''In\n"%s"\n'' "'+escape(befehle[i],'\"','"')+'"; read -p "ist ein Fehler aufgetreten! ... "; exit 1)'); closeFile(ausg); end; befehle.free; |