fixed unwanted behavior that caused metaclade to not report the error after command's failure

10db8847 · Riccardo Vicedomini · a20fccc4 · 10db8847
Commit 10db8847 authored Nov 08, 2020 by Riccardo Vicedomini
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

metaclade2 metaclade2 +1 -1

No files found.
--- a/metaclade2
+++ b/metaclade2
@@ -13,7 +13,7 @@
 #  with MetaCLADE2. If not, see <https://cecill.info/>.
 #

-trap ctrl_c INT TERM ERR; function ctrl_c() { exit 5; }
+trap ctrl_c INT TERM; function ctrl_c() { exit 5; }
 trap 'kill 0' EXIT

 CMD_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}" )" && pwd)