kprove.mak: clean untracked files before cloning KEVM.

runtimeverification · Dec 8, 2018 · 25011c5 · 25011c5
1 parent c35a807
commit 25011c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/resources/kprove.mak b/resources/kprove.mak
@@ -85,7 +85,7 @@ $(K_REPO_DIR):
 $(KEVM_REPO_DIR):
 	git clone $(KEVM_REPO_URL) $(KEVM_REPO_DIR)
 	cd $(KEVM_REPO_DIR) \
-	    && git clean -fx \
+		&& git clean -fdx \
 		&& git reset --hard $(KEVM_VERSION) \
 		&& make tangle-deps \
 		&& make defn \