Commit 0f061471 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Fix make clean for renamed Coq makefile

parent b5613302
Pipeline #10565 passed with stage
in 1 minute and 33 seconds
......@@ -9,7 +9,7 @@ all: CoqMakefile
clean: CoqMakefile
+@make -f CoqMakefile clean
rm -f Makefile.coq
rm -f CoqMakefile
.PHONY: clean
# Create Coq Makefile.
......
Supports Markdown
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