diff --git a/empty b/empty
new file mode 100644
index 000000000..c6cac6926
--- /dev/null
+++ b/empty
@@ -0,0 +1 @@
+empty
diff --git a/scripts/build.Makefile b/scripts/build.Makefile
index 4d3d90ab0..f4100bc06 100644
--- a/scripts/build.Makefile
+++ b/scripts/build.Makefile
@@ -8,6 +8,8 @@ clean: $(clean-subdirs)
 
 PHONY += mrproper
 mrproper:
+	@$(Q)rm -rf $(CURDIR)/workflows/linux/refs/default/
+	@$(Q)rm -rf $(CURDIR)/workflows/linux/refs/user/
 	@$(Q)rm -rf $(CURDIR)/include/config/
 	@$(Q)rm -rf $(CURDIR)/include/generated/
 	@$(Q)rm -f .config