diff options
| -rw-r--r-- | stdlib/Makefile.nt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/stdlib/Makefile.nt b/stdlib/Makefile.nt index 16b20142e..4551c8915 100644 --- a/stdlib/Makefile.nt +++ b/stdlib/Makefile.nt @@ -60,6 +60,12 @@ camlheader camlheader_ur: headernt.c ../config/Makefile mv tmpheader.exe camlheader cp camlheader camlheader_ur +sys.ml: sys.mlp ../VERSION + sed -e "s|%%VERSION%%|`head -1 ../VERSION`|" sys.mlp >sys.ml + +clean:: + rm -f sys.ml + clean:: rm -f camlheader camlheader_ur |