diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2004-05-09 10:37:27 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2004-05-09 10:37:27 +0000 |
| commit | 7de4fe5835a09922655dc401d5a474a9c175166c (patch) | |
| tree | 51d2ad45c8839f7ec9a72a810fb8f8098521d66f | |
| parent | b3092ca665335913a816427b044e43964db6ed48 (diff) | |
Proteger la fabrication de opnames.h contre l'internationalisation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | byterun/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/byterun/Makefile b/byterun/Makefile index dcbcdaee5..34d024961 100644 --- a/byterun/Makefile +++ b/byterun/Makefile @@ -84,6 +84,7 @@ prims.c : primitives echo ' 0 };') > prims.c opnames.h : instruct.h + LANG=C; \ sed -e '/\/\*/d' \ -e '/^#/d' \ -e 's/enum /char * names_of_/' \ |