[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. upstream/0.8-16-g3abef6b
Samuel Mimram
samuel.mimram at ens-lyon.org
Wed Feb 25 21:21:38 UTC 2009
The following commit has been merged in the master branch:
commit 3abef6bc00119f8f36e46302d61e1694759738fc
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date: Wed Feb 25 22:20:54 2009 +0100
Correct rules.
diff --git a/debian/rules b/debian/rules
index 0ac68e9..85572e6 100755
--- a/debian/rules
+++ b/debian/rules
@@ -28,7 +28,7 @@ build-arch-stamp: config.status
dh_testdir
for i in $(BACKUP); do \
cp -ax $$i $$i.debian; \
- fi
+ done
$(MAKE) $(OCAML_BEST)
touch $@
@@ -40,8 +40,8 @@ clean: unpatch
fi
for i in $(BACKUP); do \
[ ! -f $$i.debian ] || mv $$i.debian $$i; \
- fi
- dh_clean
+ done
+ dh_clean
install: build
dh_testdir
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list