commit 20920e81bf0ef7c408e41183f36ee8da2cfa0f0c parent 7260d20d1fdc2cfeb1b5634f023aba1ed87fdae2 Author: Christian Grothoff <christian@grothoff.org> Date: Sun, 31 Mar 2024 23:56:58 +0200 try just sh Diffstat:
| M | src/templating/run-original-tests.sh | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/templating/run-original-tests.sh b/src/templating/run-original-tests.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # This file is in the public domain. set -eux