(*)~fixed makefile clean recipe

2023-07-10 14:15:23 +01:00
parent d9e8ccb3b2
commit d30043274d
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@@ -17,4 +17,5 @@ run: $(OUT)
 	./$^

 .PHONY: clean
+clean:
 	rm -v *.out;