diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-10-22 09:54:00 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-10-22 09:54:00 +0200 |
| commit | d2b4f92f4d9f27288943a377e895ce1a6c1e4fb5 (patch) | |
| tree | cc7ff8f81be564f56b23483fff64ec17f19ce218 /buildbot | |
| parent | bbb27265f1223bee7822e3434b93bc92f982e04a (diff) | |
| download | deployment-d2b4f92f4d9f27288943a377e895ce1a6c1e4fb5.tar.gz deployment-d2b4f92f4d9f27288943a377e895ce1a6c1e4fb5.tar.bz2 deployment-d2b4f92f4d9f27288943a377e895ce1a6c1e4fb5.zip | |
force bash
Diffstat (limited to 'buildbot')
| -rwxr-xr-x | buildbot/doxygen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildbot/doxygen.sh b/buildbot/doxygen.sh index d94a844..c91cc31 100755 --- a/buildbot/doxygen.sh +++ b/buildbot/doxygen.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -eu |