diff options
Diffstat (limited to 'tools/buildsteps/osx32/make-binary-addons')
| -rwxr-xr-x | tools/buildsteps/osx32/make-binary-addons | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/buildsteps/osx32/make-binary-addons b/tools/buildsteps/osx32/make-binary-addons index c677cefb93..efde78c410 100755 --- a/tools/buildsteps/osx32/make-binary-addons +++ b/tools/buildsteps/osx32/make-binary-addons @@ -15,7 +15,7 @@ then do echo "building $addon" git clean -xffd $WORKSPACE/$BINARY_ADDONS_ROOT/$addon - cd $WORKSPACE/$BINARY_ADDONS_ROOT/$addon;make -j $BUILDTHREADS || ALL_BINARY_ADDONS_BUILT="0" + cd $WORKSPACE/$BINARY_ADDONS_ROOT/$addon;make -j $BUILDTHREADS V=99 VERBOSE=1 || ALL_BINARY_ADDONS_BUILT="0" done fi |