diff --git a/examples/run_all.sh b/examples/run_all.sh index ad7da882..4ab9947b 100755 --- a/examples/run_all.sh +++ b/examples/run_all.sh @@ -1,5 +1,5 @@ #!/usr/bin/env sh -set -euo pipefail +set -eu # This script builds and runs all the examples # It is NOT headless diff --git a/examples/run_all_headless.sh b/examples/run_all_headless.sh index 0bfb4bc1..27b809ab 100755 --- a/examples/run_all_headless.sh +++ b/examples/run_all_headless.sh @@ -1,5 +1,5 @@ #!/usr/bin/env sh -set -euo pipefail +set -eu ls -F | grep '/$' | sed 's|/$||' | xargs -E '' -I {} timeout --preserve-status 15s cargo run --bin {} rm -f pipeline-caching/pipeline_cache.bin