diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-02-12 16:27:59 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-02-12 16:27:59 +0000 |
commit | d118353bf37143d32a19a544319e184149dc08e7 (patch) | |
tree | cf07a17e7b3f4443d29dcf9f14eaf2e18d940323 | |
parent | 05b366f1057f61b5644a98767c63ce8fe359bbb5 (diff) |
Bug dans la generation de primitives
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | byterun/Makefile.nt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/Makefile.nt b/byterun/Makefile.nt index 5dcb21ad0..cb7203160 100644 --- a/byterun/Makefile.nt +++ b/byterun/Makefile.nt @@ -41,7 +41,7 @@ clean: rm -f primitives prims.c opnames.h jumptbl.h primitives : $(PRIMS) - sed -n -e "/\/\* ML \*\//s/.* \([a-z0-9_]*\) *(.*/\1/p" \ + sed -n -e "/\/\* ML \*\//s/.* \([a-z0-9_][a-z0-9_]*\) *(.*/\1/p" \ $(PRIMS) > primitives prims.c : primitives |