diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-04-30 10:14:24 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-04-30 10:14:24 +0000 |
| commit | 24a0cf675b7404cc55f49ba49f95be3ab6fd3db9 (patch) | |
| tree | bb69862f03b2f094b5b9a5d8bb268cdf2c94badb /gnattools/Makefile.in | |
| parent | 7c9d05f6f91353e47f4f4dedeb9e961fa13300a9 (diff) | |
| download | ppe42-gcc-24a0cf675b7404cc55f49ba49f95be3ab6fd3db9.tar.gz ppe42-gcc-24a0cf675b7404cc55f49ba49f95be3ab6fd3db9.zip | |
PR ada/28953
* Makefile.in: No longer build gprmake
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@124293 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gnattools/Makefile.in')
| -rw-r--r-- | gnattools/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in index 830fffb93b3..64830a0fd60 100644 --- a/gnattools/Makefile.in +++ b/gnattools/Makefile.in @@ -156,8 +156,7 @@ GNATTOOLS2_FILES = \ ../../gnatxref$(exeext) \ ../../gnatfind$(exeext) \ ../../gnatname$(exeext) \ - ../../gnatclean$(exeext) \ - ../../gprmake$(exeext) + ../../gnatclean$(exeext) # Makefile targets # ---------------- |
