make/Defs-internal.gmk
changeset 8092 b5a5d2547848
parent 8055 7c023d700f09
child 8441 30f5ad688d4a
equal deleted inserted replaced
8091:be4f18a6d7c5 8092:b5a5d2547848
   210 # Select defaults if these are not set to true or false
   210 # Select defaults if these are not set to true or false
   211 ifndef SKIP_DEBUG_BUILD
   211 ifndef SKIP_DEBUG_BUILD
   212   SKIP_DEBUG_BUILD=true
   212   SKIP_DEBUG_BUILD=true
   213 endif
   213 endif
   214 ifndef SKIP_FASTDEBUG_BUILD
   214 ifndef SKIP_FASTDEBUG_BUILD
   215   SKIP_FASTDEBUG_BUILD=false
   215   SKIP_FASTDEBUG_BUILD=true
   216 endif
   216 endif
   217 
   217 
   218 # Select javadoc setting GENERATE_DOCS
   218 # Select javadoc setting GENERATE_DOCS
   219 ifndef NO_DOCS
   219 ifndef NO_DOCS
   220   # Default value (we want javadoc run)
   220   # Default value (we want javadoc run)