summaryrefslogtreecommitdiff
path: root/tools/Makefile
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1997-01-01 15:38:23 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1997-01-01 15:38:23 +0000
commit87fb8cb9fffd14ceec2b8978878e7a5fc4290bc7 (patch)
treed039de89b1bda5c907bf35a8e22307962d499dae /tools/Makefile
parent55a1653c285fe1a1084313d691765d31d880bf85 (diff)
downloadocaml-87fb8cb9fffd14ceec2b8978878e7a5fc4290bc7.tar.gz
Corrections mineures
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/Makefile')
-rw-r--r--tools/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/Makefile b/tools/Makefile
index 594b1dceb5..a7641e4ccd 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -82,6 +82,7 @@ clean::
opnames.ml: ../byterun/instruct.h
sed -e '/\/\*/d' \
+ -e '/^#/d' \
-e 's/enum \(.*\) {/let names_of_\1 = [|/' \
-e 's/};$$/ |]/' \
-e 's/\([A-Z][A-Z_0-9a-z]*\)/"\1"/g' \