Add Win32/configure.ac to the mix
authorsof@galois.com <unknown>
Wed, 29 Nov 2006 22:25:13 +0000 (22:25 +0000)
committersof@galois.com <unknown>
Wed, 29 Nov 2006 22:25:13 +0000 (22:25 +0000)
libraries/configure.ac

index 0153579..d4b0229 100644 (file)
@@ -14,6 +14,9 @@ fi
 if test -d X11; then
   AC_CONFIG_SUBDIRS(X11)
 fi
+if test -d Win32; then
+  AC_CONFIG_SUBDIRS(Win32)
+fi
 if test -d HGL; then
   AC_CONFIG_SUBDIRS(HGL)
 fi