Revert "[minor] Makefile.menhir bugfix for non-subsecond make systems"

This reverts commit ae03c67cba.
2018-09-07 13:33:32 +02:00 · 2018-09-07 13:33:32 +02:00 · f10736b9e6
parent ae03c67cba
commit f10736b9e6
1 changed files with 0 additions and 1 deletions
--- a/Makefile.menhir
+++ b/Makefile.menhir
@ -72,7 +72,6 @@ promote-menhir: parsing/parser.mly
 	    's,^#\(.*\)"[^"]*/menhir/standard.mly",#\1"menhir/standard.mly",g' \
 	    parsing/$$f \
 	    > boot/menhir/$$f; \
-	  rm parsing/$$f; \
 	done

 # The import-menhirLib invocation in promote-menhir ensures that each