File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 285285# ---------------------------------------------------------------------------------
286286if [ -f $scriptdir /build-gcc.sh ]; then . $scriptdir /build-gcc.sh || { echo " Error building toolchain" ; exit 1; }; cd $BUILDSCRIPTDIR ; fi
287287
288- if [ " $BUILD_DKPRO_SKIP_TOOLS " != 1 ] && [ -f $scriptdir /build-tools.sh ]; then
288+ if [ " $BUILD_DKPRO_SKIP_TOOLS " != " 1 " ] && [ -f $scriptdir /build-tools.sh ]; then
289289 . $scriptdir /build-tools.sh || { echo " Error building tools" ; exit 1; }; cd $BUILDSCRIPTDIR ;
290290fi
291291
Original file line number Diff line number Diff line change @@ -36,7 +36,18 @@ BUILD_DKPRO_SKIP_LIBRARIES=0
3636# numcores=`getconf _NPROCESSORS_ONLN`
3737# export MAKEFLAGS="$MAKEFLAGS -j${numcores}"
3838
39+
40+ # ---------------------------------------------------------------------------------
41+ # Uncomment to skip building of tools
42+ # ---------------------------------------------------------------------------------
43+ # BUILD_DKPRO_SKIP_TOOLS=1
44+
3945# ---------------------------------------------------------------------------------
46+ # Uncomment to skip building of libraries
47+ # ---------------------------------------------------------------------------------
48+ # BUILD_DKPRO_SKIP_LIBRARIES=1
49+
50+
4051# Automated script execution
4152# ---------------------------------------------------------------------------------
4253# 0: Ask to delete build folders & patched sources
You can’t perform that action at this time.
0 commit comments