uncomment clean target to avoid clashing with caravel's target
diff --git a/Makefile b/Makefile
index f2f3282..c73c5f0 100644
--- a/Makefile
+++ b/Makefile
@@ -169,12 +169,11 @@
-# Clean
-# .PHONY: clean
-# clean:
-# cd ./verilog/dv/ && \
-# $(MAKE) -j$(THREADS) clean
-#
+.PHONY: clean
+clean:
+ cd ./verilog/dv/ && \
+ $(MAKE) -j$(THREADS) clean
+
check-caravel:
@if [ ! -d "$(CARAVEL_ROOT)" ]; then \
echo "Caravel Root: "$(CARAVEL_ROOT)" doesn't exists, please export the correct path before running make. "; \
