Makefile: Finally get rid of this as we don't need it.

A makefile may be added back when we are preparing distribution but it’s a long road until then.
2022-09-15 01:06:59 +02:00 · 2022-09-15 01:06:59 +02:00 · ac12bcf865
parent 8b92d24ab9
commit ac12bcf865
1 changed files with 0 additions and 12 deletions
--- a/12
+++ b/12
@ -1,12 +0,0 @@
 all: build
 build:
 	bash ./scripts/build.sh
 clean:
 	bash ./scripts/clean.sh
 mrproper:
 	bash ./scripts/clean.sh
 	bash ./scripts/clean_dependencies.sh
 setup:
 	bash ./scripts/setup_project.sh
 test:
 	bash ./scripts/test.sh