diff --git a/GNUmakefile.in b/GNUmakefile.in index 0f8be1b7..a1d02cd7 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -197,7 +197,7 @@ dist: .PHONY: distclean distclean: clean - rm -rf toolchain ovmf* config.log config.status GNUmakefile + rm -rf toolchain ovmf* config.log config.status GNUmakefile common/config.h .PHONY: maintainer-clean maintainer-clean: distclean