1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 862a99a..9134da9 100644
--- a/Makefile
+++ b/Makefile
@@ -88,7 +88,7 @@ asan: all
 #------------------------------------------------------------------------------#
 clean: 
 	@$(MAKE) --no-print-directory -C ${LFT_DIR} clean
-	${RM} ${OBJS_DIR}
+	${RM} ${OBJS_DIR} vgcore*
 #------------------------------------------------------------------------------#
 fclean: clean
 	@$(MAKE) --no-print-directory -C ${LFT_DIR} fclean