diff options
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 # ---------------- |