diff --git a/build-arm-mingw32ce/build-mingw32ce.sh b/build-arm-mingw32ce/build-mingw32ce.sh index be3a0b5..fb60fa1 100755 --- a/build-arm-mingw32ce/build-mingw32ce.sh +++ b/build-arm-mingw32ce/build-mingw32ce.sh @@ -52,6 +52,7 @@ Usage: $0 [OPTIONS] ... --components=LIST specify which components to build valid components are: ${COMPONENTS_COMMA_LIST} [all] + --incremental do an incremental build Report bugs to . _ACEOF @@ -105,6 +106,9 @@ do --host=*) host=$ac_optarg ;; + --incremental) + incremental=yes ;; + -*) { echo "$as_me: error: unrecognized option: $ac_option Try \`$0 --help' for more information." >&2 { (exit 1); exit 1; }; } @@ -194,6 +198,13 @@ function configure_module() mkdir -p $subdir cd $subdir + if [ "$incremental" = "yes" \ + -a Makefile -nt $src/configure \ + -a Makefile -nt $src/Makefile.in ]; then + # Makefile is fresh, don't need to reconfigure + return + fi + $src/configure \ --prefix=${PREFIX} \ --build=${BUILD} \