diff options
| author | Henning Baldersheim <balder@yahoo-inc.com> | 2016-11-11 20:08:42 +0000 |
|---|---|---|
| committer | Henning Baldersheim <balder@yahoo-inc.com> | 2016-11-11 20:08:42 +0000 |
| commit | c0439e893ab67025bc240e4bf7aafde78ca16207 (patch) | |
| tree | a24456b2a4f13b113161d7790828b7f1897cf55e /config-model/src/test/sh | |
| parent | ed8dc721d91866af63a85cccf5ca8150c53ee9b2 (diff) | |
I assume the intention was to first run clean, then make all.
Specifying both will make then race each other when building with many threads.
Diffstat (limited to 'config-model/src/test/sh')
| -rwxr-xr-x | config-model/src/test/sh/test-schema.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config-model/src/test/sh/test-schema.sh b/config-model/src/test/sh/test-schema.sh index 62d75124d90..15127fe00a2 100755 --- a/config-model/src/test/sh/test-schema.sh +++ b/config-model/src/test/sh/test-schema.sh @@ -2,7 +2,7 @@ # Copyright 2016 Yahoo Inc. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root. set -e -pushd src/main && make clean all +pushd src/main && make clean && make all popd jar="target/jing.jar" |