CI fix 2: /bin/sh -> /bin/bash (some CI runners run ancient /bin/sh w…

…ithout {a,b,c} glob-support)
coderofsalvation · Jan 30, 2024 · f8e046b · f8e046b
1 parent e661a11
commit f8e046b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make b/make
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -e
 try(){ set +e; "$@" 2>/dev/null; set -e; }
 trace(){ set -x; "$@"; set +x; }