diff options
| author | Christian Grothoff <christian@grothoff.org> | 2024-04-01 02:03:39 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2024-04-01 02:03:39 +0200 |
| commit | 966c72f0ebab372a35d163c2b7827ae3e76b7e31 (patch) | |
| tree | 617c5d447af227abf4245055384f665766491a58 /src | |
| parent | 20920e81bf0ef7c408e41183f36ee8da2cfa0f0c (diff) | |
add bash
Diffstat (limited to 'src')
| -rwxr-xr-x | src/templating/run-original-tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/templating/run-original-tests.sh b/src/templating/run-original-tests.sh index bacd035f9..f9dbe316c 100755 --- a/src/templating/run-original-tests.sh +++ b/src/templating/run-original-tests.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # This file is in the public domain. set -eux |