OSDN Git Service

* Makefile.in (tools, gnattools): Remove gnatmem.
authorbosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 19 Oct 2001 18:29:51 +0000 (18:29 +0000)
committerbosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 19 Oct 2001 18:29:51 +0000 (18:29 +0000)
commit8dc6b6c52def91487ee9efc5b82c5a04e0fd4457
tree86886e60ca63c6fb7859d24f60d234b4c24c294e
parentf359c31e2bfd0d3f642b891fac784b481d2860c7
* Makefile.in (tools, gnattools): Remove gnatmem.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46352 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/Makefile.in