diff options
Diffstat (limited to 'xtools/Makefile')
| -rw-r--r-- | xtools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xtools/Makefile b/xtools/Makefile index 1c4d5b46d..e1546ec20 100644 --- a/xtools/Makefile +++ b/xtools/Makefile @@ -17,7 +17,7 @@ all: ../iirs.adb check_iirs: force - gnatmake -g check_iirs + gnatmake -g -gnatwa check_iirs MODE=--generate |