Build scripts & automatic generation of FFI files
authorAdam Chlipala <adamc@hcoop.net>
Thu, 16 Sep 2004 15:25:00 +0000 (15:25 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 16 Sep 2004 15:25:00 +0000 (15:25 +0000)
build

diff --git a/build b/build
index e025e3e..67e5a3b 100755 (executable)
--- a/build
+++ b/build
@@ -9,8 +9,8 @@ fi
 if [ -d libpq/.cm ] ; then
     rm -rf libpq/.cm
 fi
-if [ -d libpq/FFI/.cm ] ; then
-    rm -rf libpq/FFI/.cm
+if [ -d libpq/FFI ] ; then
+    rm -rf libpq/FFI/*
 fi
 
 if ! cat build.sml | $SMLBIN/sml ; then