diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2006-11-15 14:49:26 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2006-11-15 14:49:26 +0000 |
| commit | db85ff05ef20284be7926321c10946e239da4d5c (patch) | |
| tree | f489d2f3fe7ba4fc0a6e77abcfb0ee67cd9e1314 | |
| parent | 7e7ce6e34929dfd97ca0946acb304151e2e16cc2 (diff) | |
portabilite de script sed
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7732 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/boot/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/camlp4/boot/Makefile b/camlp4/boot/Makefile index 1630917ec..d8624d43d 100644 --- a/camlp4/boot/Makefile +++ b/camlp4/boot/Makefile @@ -5,14 +5,14 @@ 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]\+\)/\1/'` + 1)); \ + 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]\+\)/\1/'` - 1)); \ + 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 |