diff options
Diffstat (limited to 'xtools')
| -rw-r--r-- | xtools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xtools/Makefile b/xtools/Makefile index 72df567af..1c4d5b46d 100644 --- a/xtools/Makefile +++ b/xtools/Makefile @@ -14,7 +14,7 @@ # along with GCC; see the file COPYING. If not, write to the Free # Software Foundation, 59 Temple Place - Suite 330, Boston, MA # 02111-1307, USA. -all: check_iirs +all: ../iirs.adb check_iirs: force gnatmake -g check_iirs |