diff --git a/Makefile b/Makefile index fcfd998979..7bffe96c15 100644 --- a/Makefile +++ b/Makefile @@ -316,7 +316,7 @@ clean-l: # Remove Coverity scan data: -rm -rf cov-int domjudge-scan.t* coverity-scan.tar.xz cov-submit-data-version.sh -distclean-l: clean-autoconf +distclean-l: clean-autoconf clean -rm -f paths.mk maintainer-clean: inplace-uninstall