configure.in (enable_coverage): New enable switch.

[gcc.git] / gcc / ada / Make-lang.in

diff --git a/gcc/ada/Make-lang.in b/gcc/ada/Make-lang.in
index f73bbebe13ad562f5aca998e2b1920afd7d9ee94..5cc7c5504de3bdfa1f6a2b968fd65d22467e05df 100644 (file)
--- a/gcc/ada/Make-lang.in
+++ b/gcc/ada/Make-lang.in
@@ -762,6 +762,7 @@ ada.uninstall:
 
 ada.mostlyclean:
        -$(RM) ada/*$(objext) ada/*.ali ada/b_*.c
+       -$(RM) ada/*$(coverageexts)
        -$(RM) ada/sdefault.adb ada/stamp-sdefault
        -$(RMDIR) ada/tools
 ada.clean: