diff options
author | Anders Kaseorg <andersk@mit.edu> | 2013-11-22 09:36:14 -0500 |
---|---|---|
committer | Anders Kaseorg <andersk@mit.edu> | 2013-11-22 09:36:14 -0500 |
commit | 90b807ed5c13a40f327293e5d9d47b0f3f821656 (patch) | |
tree | 6698b5b8e32a1117388f821cc8fdeb69d3a0af30 /Makefile.am | |
parent | 5eb18e20362f371c93f6a3d8c5c86997f871583c (diff) |
make clean: Clean bin/mlton, src/urweb.mlton.lex,
src/urweb.mlton.grm
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
Makefile.am | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 5d17866a..cb944483 100644 --- a/Makefile.am +++ b/Makefile.am @@ -21,7 +21,7 @@ smlnj: src/urweb.cm xml/entities.sml mlton: bin/urweb clean-local: - rm -f src/*.mlton.grm.* src/*.mlton.lex.* \ + rm -f bin/urweb src/urweb.mlton.* \ src/urweb.cm src/urweb.mlb xml/parse xml/entities.sml rm -rf .cm src/.cm |