Commit bb75ce16 authored by Simon Friis Vindum's avatar Simon Friis Vindum

Apply suggestion to Makefile.coq.local

parent 0580dbc5
...@@ -27,7 +27,7 @@ logatom: $(filter theories/logatom/%,$(VOFILES)) ...@@ -27,7 +27,7 @@ logatom: $(filter theories/logatom/%,$(VOFILES))
.PHONY: logatom .PHONY: logatom
array-based_queuing_lock: $(filter theories/array_based_queuing_lock/%,$(VOFILES)) array-based_queuing_lock: $(filter theories/array_based_queuing_lock/%,$(VOFILES))
.PHONY: array-based_queuing_lock .PHONY: array_based_queuing_lock
proph: $(filter theories/proph/%,$(VOFILES)) proph: $(filter theories/proph/%,$(VOFILES))
.PHONY: proph .PHONY: proph
Markdown is supported
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