Clean up; turn on PIPE_FAIL

Author: j-woz

dev/conda/conda-build.sh

@@ -1,5 +1,6 @@
 #!/bin/zsh
 set -eu
+setopt PIPE_FAIL
 
 # CONDA BUILD
 # Generic wrapper around `conda build'
@@ -165,12 +166,6 @@ export PYTHONWARNINGS="ignore::UserWarning"
   log "BUILD: START"
   print
   (
-    if [[ -o e ]] {
-      print  e on
-    } else {
-      print  e off
-    }
-       exit 1
     log "using python: " $( which python )
     log "using conda:  " $( which conda  )
     print

dev/jenkins/anaconda.sh

@@ -176,9 +176,6 @@ if (( GNU_TIME )) {
   tm()
   {
     =time --format "TASK TIME: %E" ${*}
-    local CODE=${?}
-    echo "tm(): CODE=$CODE"
-    return $CODE
   }
 } else {
   tm()