Make-lang.in
127 KB
-
Make-lang.in (install-gnatlib): Change to ada directory before running make… · 8c108db2
Make-lang.in (install-gnatlib): Change to ada directory before running make instead of using ada/Makefile directly. * Make-lang.in (install-gnatlib): Change to ada directory before running make instead of using ada/Makefile directly. From-SVN: r63582
Andreas Schwab committed