Commit 41b6f29165a0a752f522b8bdc3ae8119098a22f9

Steffen Jaeckel 2019-09-06T14:56:20

always run the tune make target

1
2
3
4
5
6
7
8
9
diff --git a/etc/makefile b/etc/makefile
index bad1741..c7280e7 100644
--- a/etc/makefile
+++ b/etc/makefile
@@ -40,3 +40,4 @@ clean:
 	rm -f *.log *.o *.obj *.exe pprime tune mersenne drprime mont 2kprime pprime.dat \
         tuning_list multiplying squaring test *.da *.dyn *.dpi *~
 
+.PHONY: tune