From 966c72f0ebab372a35d163c2b7827ae3e76b7e31 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Mon, 1 Apr 2024 02:03:39 +0200 Subject: add bash --- src/templating/run-original-tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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 -- cgit v1.2.3