commit efef505a1b35fc4fbf428181a67fe740db2bf764 parent 54145e3fc60f1fa84130f561e6bec8eb841971f2 Author: Devan Carpenter <devan@taler.net> Date: Wed, 6 Dec 2023 10:11:35 -0500 CI: make build script print more to stdout Diffstat:
| M | contrib/ci/jobs/0-build/build-docs.sh | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/contrib/ci/jobs/0-build/build-docs.sh b/contrib/ci/jobs/0-build/build-docs.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -eu +set -exou make html make latexpdf