$(MUTE)rm -rf @MODULE@/tgt_$(ALICE_TARGET)
$(MUTE)rm -f $(@MODULE@LIBS)
$(MUTE)rm -f $(@MODULE@BINS)
+
+clean-check-@MODULE@:
+ifndef ALIQUIET
+ @echo "***** Cleaning code check for @MODULE@ *****"
+endif
+ $(MUTE)rm -f `find @MODULE@/check -name '*.i'` `find @MODULE@/check -name '*.ii'` `find @MODULE@/check -name '*.viol'`
+
+clean-reveng-@MODULE@:
+ifndef ALIQUIET
+ @echo "***** Cleaning reverse engineering files for @MODULE@ *****"
+endif
+ $(MUTE)rm -f `find @MODULE@/check -name '*.dot'`
+