# DP: Improve support for mips. Index: b/src/gcc/ada/gcc-interface/Makefile.in =================================================================== --- a/src/gcc/ada/gcc-interface/Makefile.in +++ b/src/gcc/ada/gcc-interface/Makefile.in @@ -1809,10 +1809,15 @@ ifeq ($(strip $(filter-out mips linux%,$ s-taprop.adb