diff --git a/build-devkit.sh b/build-devkit.sh index aedf336..786556f 100755 --- a/build-devkit.sh +++ b/build-devkit.sh @@ -285,7 +285,7 @@ done #--------------------------------------------------------------------------------- if [ -f $scriptdir/build-gcc.sh ]; then . $scriptdir/build-gcc.sh || { echo "Error building toolchain"; exit 1; }; cd $BUILDSCRIPTDIR; fi -if [ "$BUILD_DKPRO_SKIP_TOOLS" != 1 ] && [ -f $scriptdir/build-tools.sh ]; then +if [ "$BUILD_DKPRO_SKIP_TOOLS" != "1" ] && [ -f $scriptdir/build-tools.sh ]; then . $scriptdir/build-tools.sh || { echo "Error building tools"; exit 1; }; cd $BUILDSCRIPTDIR; fi diff --git a/config.sh.sample b/config.sh.sample index 856ddec..c07462c 100755 --- a/config.sh.sample +++ b/config.sh.sample @@ -36,7 +36,18 @@ BUILD_DKPRO_SKIP_LIBRARIES=0 #numcores=`getconf _NPROCESSORS_ONLN` #export MAKEFLAGS="$MAKEFLAGS -j${numcores}" + #--------------------------------------------------------------------------------- +# Uncomment to skip building of tools +#--------------------------------------------------------------------------------- +#BUILD_DKPRO_SKIP_TOOLS=1 + +#--------------------------------------------------------------------------------- +# Uncomment to skip building of libraries +#--------------------------------------------------------------------------------- +#BUILD_DKPRO_SKIP_LIBRARIES=1 + + # Automated script execution #--------------------------------------------------------------------------------- # 0: Ask to delete build folders & patched sources