remove ./speed when cleaning

diff --git a/makefile b/makefile
index a4ab2856128708020badc29824e3208b854b4c7f..d2baeb682ba8939c1cc82d5fd3296f2889b935bc 100644 (file)
--- a/makefile
+++ b/makefile
@@ -22,7 +22,7 @@ all: vectors properties sodium donna
 clean:
        rm -rf bin frama-c
        rm -f src/*.gch src/rename_*
-       rm -f vectors properties sodium donna
+       rm -f vectors properties sodium donna speed
 
 TEST_DEPS=tests/vectors.c bin/monocypher.o bin/sha512.o
 PROP_DEPS=tests/properties.c bin/classic_monocypher.o