6 cp camlp4boot camlp4boot.save.0
7 set -e; for i in camlp4boot.save.*; do \
8 mv $$i camlp4boot.evas.$$((`echo $$i | sed -e 's/.*\.save\.\([0-9][0-9]*\)/\1/'` + 1)); \
10 set -e; for i in camlp4boot.evas.*; do mv $$i $${i/.evas./.save.}; done
11 rm -f camlp4boot.save.$(MAX_SAVE)
14 set -e; for i in camlp4boot.save.*; do \
15 mv $$i camlp4boot.evas.$$((`echo $$i | sed -e 's/.*\.save\.\([0-9][0-9]*\)/\1/'` - 1)); \
17 set -e; for i in camlp4boot.evas.*; do mv $$i $${i/.evas./.save.}; done
18 mv camlp4boot.save.0 camlp4boot
21 rm -f camlp4boot.save.* camlp4boot.evas.*