diff --git a/Makefile b/Makefile index 047089ae42fa6252aedae8da31f458d479b408e2..4a701120d1c95b41e5777da8bbc687655ca2ff3d 100644 --- a/Makefile +++ b/Makefile @@ -43,6 +43,7 @@ maintainer-clean: clean: rm -f $(HALLPROGS) rm -f *.o *.prof *.ps *.stat *.aux *.hi + rm -f Ganeti/HTools/Version.hs cd Ganeti && rm -f *.o *.prof *.ps *.stat *.aux *.hi cd Ganeti/HTools && rm -f *.o *.prof *.ps *.stat *.aux *.hi