HCoop
/
hcoop
/
smlsql.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
ee01449
)
Build scripts & automatic generation of FFI files
author
Adam Chlipala
<adamc@hcoop.net>
Thu, 16 Sep 2004 15:25:00 +0000
(15:25 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Thu, 16 Sep 2004 15:25:00 +0000
(15:25 +0000)
build
patch
|
blob
|
blame
|
history
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