diff options
| -rwxr-xr-x | examples/auto/build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/auto/build b/examples/auto/build index 03a7b577c..f8d834623 100755 --- a/examples/auto/build +++ b/examples/auto/build @@ -2,4 +2,4 @@ set -e -lb build noauto "${@}" && echo $? 2>&1 | tee build.log +lb build noauto "${@}" 2>&1 | tee build.log |