WinCE: add mingw32ce to the list of build systems

diff --git a/extras/contrib/bootstrap b/extras/contrib/bootstrap
index 95941453b7a06ef12aef5920b845d482654ec0d6..4ae943d01e3b2436a37d0e2c330ff0f1f901aad5 100755 (executable)
--- a/extras/contrib/bootstrap
+++ b/extras/contrib/bootstrap
@@ -247,6 +247,11 @@ case $HOST in
         fi
         cat src/Distributions/beos.mak >> distro.mak
     ;;
+    *mingw32ce)
+        echo "HAVE_WINCE = 1" >> config.mak
+        echo "PKG_CONFIG_PATH = \$(PREFIX)/lib/pkgconfig" >> config.mak
+        cat src/Distributions/wince.mak >> distro.mak
+    ;;
     *mingw32*)
         echo "HAVE_WIN32 = 1" >> config.mak
         echo "PKG_CONFIG_PATH = \$(PREFIX)/lib/pkgconfig" >> config.mak