Revert "Updated make clean to prevent incorrect failures"

This reverts commit 4a5f09431ac311fd13a553e03cf534903467daee.

diff --git a/src/Makefile b/src/Makefile
index 9f09bc1..98ead94 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -51,5 +51,4 @@ clean:
        find . -name "*_generated.tex" -exec rm \{\} \;
        rm -rf applied-crypto-hardening/
        rm -rf gitHeadInfo.gin
-       find . -name "applied-crypto-hardening.txt" -exec rm \{\} \;
-
+       rm applied-crypto-hardening.txt