diff options
| author | Tristan Gingold <tgingold@free.fr> | 2014-09-02 21:17:16 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2014-09-02 21:17:16 +0200 |
| commit | e6ffb98cb5ad3f07bcaf79323d8ab8411688c494 (patch) | |
| tree | 46a91868b6e4aeb5354249c74507b3e92e85f01f /xtools/Makefile | |
| parent | e393e8b7babd9d2dbe5e6bb7816b82036b857a1f (diff) | |
| download | ghdl-e6ffb98cb5ad3f07bcaf79323d8ab8411688c494.tar.gz ghdl-e6ffb98cb5ad3f07bcaf79323d8ab8411688c494.tar.bz2 ghdl-e6ffb98cb5ad3f07bcaf79323d8ab8411688c494.zip | |
Keep names in the tree.
This is a large change to improve error locations and allow pretty printing.
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 |