diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-09-07 13:33:32 +0200 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-09-07 13:33:32 +0200 |
| commit | f10736b9e6c8a89a5d1b6a5c5da88ed98e6638a2 (patch) | |
| tree | e6f4f44caabe5dbb31cfd0e232d48349162933bd /Makefile.menhir | |
| parent | ae03c67cbac8f2c7ee79b16427f8f336225d9383 (diff) | |
| download | ocaml-f10736b9e6c8a89a5d1b6a5c5da88ed98e6638a2.tar.gz | |
Revert "[minor] Makefile.menhir bugfix for non-subsecond make systems"
This reverts commit ae03c67cbac8f2c7ee79b16427f8f336225d9383.
Diffstat (limited to 'Makefile.menhir')
| -rw-r--r-- | Makefile.menhir | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile.menhir b/Makefile.menhir index a5fd1ed551..a27a7d2835 100644 --- 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 |