commit d2b4f92f4d9f27288943a377e895ce1a6c1e4fb5 parent bbb27265f1223bee7822e3434b93bc92f982e04a Author: Christian Grothoff <christian@grothoff.org> Date: Thu, 22 Oct 2020 09:54:00 +0200 force bash Diffstat:
| M | buildbot/doxygen.sh | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildbot/doxygen.sh b/buildbot/doxygen.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -eu