Pass stderr through calc_install_files when commands fail

PrincetonUniversity · Aug 22, 2023 · 72c4839 · 72c4839
1 parent 2888663
commit 72c4839
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/util/calc_install_files b/util/calc_install_files
@@ -1,7 +1,10 @@
 #!/usr/bin/env bash
 #  The $1 argument of this script should be the desired make target
 
+set -o pipefail
+
 MAKE=${MAKE:-make}
-${MAKE} depend >& /dev/null
-${MAKE} CLIGHTGEN="CLIGHTGEN" -Bn veric floyd $1 2>/dev/null | \
- awk '/^echo COQC /{print $NF}/^CLIGHTGEN/{print $NF}'
+${MAKE} depend >& /dev/null || ${MAKE} depend >&2
+{ ${MAKE} CLIGHTGEN="CLIGHTGEN" -Bn veric floyd $1 2>/dev/null | \
+    awk '/^echo COQC /{print $NF}/^CLIGHTGEN/{print $NF}'; } || \
+    ${MAKE} CLIGHTGEN="CLIGHTGEN" -Bn veric floyd $1 >&2