From 279c6417f84e5a14488f350f3ee608266d151207 Mon Sep 17 00:00:00 2001 From: Loup Vaillant Date: Sun, 16 Jul 2017 14:56:02 +0200 Subject: [PATCH] remove ./speed when cleaning --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index a4ab285..d2baeb6 100644 --- 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 -- 2.47.3