Make the sh scripts even more portable

This commit is contained in:
marc0246 2023-11-05 14:09:44 +01:00
parent 9cd08df449
commit 82b6d4dabd
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,4 +1,4 @@
#!/usr/bin/env bash
#!/usr/bin/env sh
set -euo pipefail
# This script builds and runs all the examples

View File

@ -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 {}