diff options
| author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2010-05-17 09:30:30 +0000 |
|---|---|---|
| committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2010-05-17 09:30:30 +0000 |
| commit | d162777be31b2a4b825fff0da8c82ec03bae0f2c (patch) | |
| tree | b8de92beb1be8af06301272c4e5952db69e12566 | |
| parent | 22c7e5b28bc4d50927bc734b22ebe66dbc005889 (diff) | |
Remove an old camlp4 makefile
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/boot/Makefile | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/camlp4/boot/Makefile b/camlp4/boot/Makefile deleted file mode 100644 index b6a146310..000000000 --- a/camlp4/boot/Makefile +++ /dev/null @@ -1,24 +0,0 @@ - - -MAX_SAVE = 10 - -backup: - cp camlp4boot camlp4boot.save.0 - set -e; for i in camlp4boot.save.*; do \ - mv $$i camlp4boot.evas.$$((`echo $$i | sed -e 's/.*\.save\.\([0-9][0-9]*\)/\1/'` + 1)); \ - done - set -e; for i in camlp4boot.evas.*; do mv $$i $${i/.evas./.save.}; done - rm -f camlp4boot.save.$(MAX_SAVE) - -restore: - set -e; for i in camlp4boot.save.*; do \ - mv $$i camlp4boot.evas.$$((`echo $$i | sed -e 's/.*\.save\.\([0-9][0-9]*\)/\1/'` - 1)); \ - done - set -e; for i in camlp4boot.evas.*; do mv $$i $${i/.evas./.save.}; done - mv camlp4boot.save.0 camlp4boot - -boot-clean: - rm -f camlp4boot.save.* camlp4boot.evas.* - -maintainer-clean: - rm -f camlp4boot |