Drop dependency utils/config.ml <-- Makefile

The recipe is trivial, so the dependency promotes unnecessary rebuilding.
master
David Allsopp 2019-06-16 13:44:02 +01:00
parent 7e6618a421
commit 1fd3ddf8a0
1 changed files with 1 additions and 1 deletions

View File

@ -324,7 +324,7 @@ endif
# The configuration file
utils/config.ml: utils/config.mlp Makefile.config utils/Makefile Makefile
utils/config.ml: utils/config.mlp Makefile.config utils/Makefile
$(MAKE) -C utils config.ml
ifeq "$(UNIX_OR_WIN32)" "unix"