Skip to content
Snippets Groups Projects
Commit 070e2136 authored by Ralf Jung's avatar Ralf Jung
Browse files

make sure we-regenerate the dependency information when the Makefile is changed

parent 5c453652
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
Makefile
+ 1
− 1
View file @ 070e2136
...@@ -183,7 +183,7 @@ printenv: ...@@ -183,7 +183,7 @@ printenv:
%.g.html: %.v %.glob %.g.html: %.v %.glob
$(COQDOC) $(COQDOCFLAGS) -html -g $< -o $@ $(COQDOC) $(COQDOCFLAGS) -html -g $< -o $@
%.v.d: %.v %.v.d: %.v Makefile
$(COQDEP) -slash $(COQLIBS) "$<" > "$@" || ( RV=$$?; rm -f "$@"; exit $${RV} ) $(COQDEP) -slash $(COQLIBS) "$<" > "$@" || ( RV=$$?; rm -f "$@"; exit $${RV} )
%.v.beautified: %.v.beautified:
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment