From 812d937792645ff4de79715553a449a42ba4d589 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 16 Sep 2004 15:25:00 +0000
Subject: [PATCH] Build scripts & automatic generation of FFI files

---
 build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build b/build
index e025e3e..67e5a3b 100755
--- 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
-- 
2.20.1