Remove -o pipefail

This commit is contained in:
marc0246 2023-11-08 14:35:22 +01:00
parent 82b6d4dabd
commit b56d5be306
No known key found for this signature in database
GPG Key ID: 689CB88C1090C684
2 changed files with 2 additions and 2 deletions

View File

@ -1,5 +1,5 @@
#!/usr/bin/env sh #!/usr/bin/env sh
set -euo pipefail set -eu
# This script builds and runs all the examples # This script builds and runs all the examples
# It is NOT headless # It is NOT headless

View File

@ -1,5 +1,5 @@
#!/usr/bin/env sh #!/usr/bin/env sh
set -euo pipefail set -eu
ls -F | grep '/$' | sed 's|/$||' | xargs -E '' -I {} timeout --preserve-status 15s cargo run --bin {} ls -F | grep '/$' | sed 's|/$||' | xargs -E '' -I {} timeout --preserve-status 15s cargo run --bin {}
rm -f pipeline-caching/pipeline_cache.bin rm -f pipeline-caching/pipeline_cache.bin