Run test_script.sh with sh instead of bash

We don't really need bash to run test_script.sh: any POSIX-compliant shell works
This commit is contained in:
Michele Locati 2023-10-06 14:49:31 +02:00
parent 672b23c80c
commit b3fa92ed98
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh
set -o errexit
set -x