CI fix 2: /bin/sh -> /bin/bash (some CI runners run ancient /bin/sh without {a,b,c} glob-support)

This commit is contained in:
Leon van Kammen 2024-01-30 10:10:24 +00:00
parent e661a114ce
commit f8e046b29c
1 changed files with 1 additions and 1 deletions

2
make
View File

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -e
try(){ set +e; "$@" 2>/dev/null; set -e; }
trace(){ set -x; "$@"; set +x; }