diff options
author | Christian Grothoff <christian@grothoff.org> | 2024-04-01 02:39:28 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2024-04-01 02:39:28 +0200 |
commit | de0879931ee3f9e5191b361d673e5e5d8d4dadcf (patch) | |
tree | 086f026eb108f3aae692f327396a34012c1eff03 /contrib/ci | |
parent | 45f388a05a105975cdcbeab0892a2fe78a8a4416 (diff) |
clean, but not log file
Diffstat (limited to 'contrib/ci')
-rwxr-xr-x | contrib/ci/jobs/2-test/test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/ci/jobs/2-test/test.sh b/contrib/ci/jobs/2-test/test.sh index 882410a98..ad5a2eb32 100755 --- a/contrib/ci/jobs/2-test/test.sh +++ b/contrib/ci/jobs/2-test/test.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -evu +set -evux apt-get update apt-get upgrade -yqq |