no-pipefail

Author: tgross35

ci/run.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -euxo pipefail
+set -eux
 
 target="$1"
 
@@ -121,19 +121,6 @@ for rlib in $(echo $rlib_paths); do
     defined="$tmpdir/defined_symbols.txt"
     undefined="$tmpdir/defined_symbols.txt"
 
-    echo RUN NM
-    $NM --quiet -U "$rlib"
-    echo RUN GREP
-    $NM --quiet -U "$rlib" | grep 'T _ZN4core'
-    echo RUN AWK
-    $NM --quiet -U "$rlib" | grep 'T _ZN4core' | awk '{print $3}'
-    echo RUN SORT
-    $NM --quiet -U "$rlib" | grep 'T _ZN4core' | awk '{print $3}' | sort
-    echo RUN UNIQ
-    $NM --quiet -U "$rlib" | grep 'T _ZN4core' | awk '{print $3}' | sort | uniq > "$defined"
-    
-
-    
     $NM --quiet -U "$rlib" | grep 'T _ZN4core' | awk '{print $3}' | sort | uniq > "$defined"
     $NM --quiet -u "$rlib" | grep 'U _ZN4core' | awk '{print $2}' | sort | uniq > "$undefined"
     grep_has_results=0