Commit 07c69b23 authored by Simon Friis Vindum's avatar Simon Friis Vindum

Apply suggestion to Makefile.coq.local

parent bb75ce16
...@@ -26,7 +26,7 @@ hocap: $(filter theories/hocap/%,$(VOFILES)) ...@@ -26,7 +26,7 @@ hocap: $(filter theories/hocap/%,$(VOFILES))
logatom: $(filter theories/logatom/%,$(VOFILES)) 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))
......
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