diff options
Diffstat (limited to 'testcase/ninja_pool.sh')
-rw-r--r-- | testcase/ninja_pool.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testcase/ninja_pool.sh b/testcase/ninja_pool.sh index 2ae3240..87f0053 100644 --- a/testcase/ninja_pool.sh +++ b/testcase/ninja_pool.sh @@ -16,7 +16,7 @@ set -e -log=/tmp/log +log=stderr_log mk="$@" cat <<EOF > Makefile |