diff options
| author | EuAndreh <eu@euandre.org> | 2021-02-23 15:10:27 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-02-23 15:14:08 -0300 |
| commit | 0497141fbbd9f303c21fe3009e887948cd2fdf33 (patch) | |
| tree | 6d9e3271c04b297395cfba7f84984c82f47c3470 | |
| parent | aux/guix/pinned-channels.scm: Use %default-channels (diff) | |
| download | server-0497141fbbd9f303c21fe3009e887948cd2fdf33.tar.gz server-0497141fbbd9f303c21fe3009e887948cd2fdf33.tar.xz | |
aux/ci/ci-build.sh: properly capture stderr
| -rwxr-xr-x | aux/ci/ci-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index 2aa30d6..0679cbd 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -53,4 +53,4 @@ EOF $RUNNER 'make clean check public' rsync -avzzP public/ "/srv/http/$PACKAGE/" --delete -} | tee "$LOGFILE" 2>&1 +} 2>&1 | tee "$LOGFILE" |