add optimized recipe to Makefile

diff --git a/DH-Keccak/assets/KremKeccak/Makefile b/DH-Keccak/assets/KremKeccak/Makefile
index 28322751f4cd1f235f6fc14767da2cedf0510f42..792e05cbb588c6b5ea49d68f359a4076c1d13ed6 100644 (file)
--- a/DH-Keccak/assets/KremKeccak/Makefile
+++ b/DH-Keccak/assets/KremKeccak/Makefile
@@ -1,4 +1,7 @@
 .PHONY: all
 
 all:
+       gcc -o krem-keccak -Wall -Werror -std=c99 krem_keccak.c
+
+debug:
        gcc -o krem-keccak -Wall -Werror -g -std=c99 krem_keccak.c -Wno-unused