From 183ab79cfc5750588fca2097191923edcc316aa3 Mon Sep 17 00:00:00 2001 From: Dave Murphy Date: Tue, 12 May 2020 14:04:01 +0100 Subject: [PATCH] flag for building crtls & rules --- config.sh.sample | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config.sh.sample b/config.sh.sample index 1754db4..94a12c4 100755 --- a/config.sh.sample +++ b/config.sh.sample @@ -31,9 +31,9 @@ BUILD_DKPRO_PACKAGE=0 #export MAKEFLAGS="$MAKEFLAGS -j${numcores}" #--------------------------------------------------------------------------------- -# Uncomment to skip building of tools +# Uncomment to skip building of crtls and rules files #--------------------------------------------------------------------------------- -#BUILD_DKPRO_SKIP_TOOLS=1 +#BUILD_DKPRO_SKIP_CRTLS=1 # Automated script execution #---------------------------------------------------------------------------------