From d75a5898cd6795c772d3d1bae5374e0af0f91e25 Mon Sep 17 00:00:00 2001
From: Max Kellermann <max@duempel.org>
Date: Wed, 21 Dec 2011 19:58:08 +0100
Subject: [PATCH] build-mingw32ce.sh: add option --incremental

---
 build-arm-mingw32ce/build-mingw32ce.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)

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 <cegcc-devel@lists.sourceforge.net>.
 _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} \