diff --git a/examples/run_all.sh b/examples/run_all.sh index 1da32fb7..ad7da882 100755 --- a/examples/run_all.sh +++ b/examples/run_all.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/usr/bin/env sh set -euo pipefail # This script builds and runs all the examples diff --git a/examples/run_all_headless.sh b/examples/run_all_headless.sh index ffd83f1b..0bfb4bc1 100755 --- a/examples/run_all_headless.sh +++ b/examples/run_all_headless.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/usr/bin/env sh set -euo pipefail ls -F | grep '/$' | sed 's|/$||' | xargs -E '' -I {} timeout --preserve-status 15s cargo run --bin {}