diff options
| -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 |