diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-07-02 21:04:43 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-07-03 16:34:21 +0200 |
| commit | 33ea6a40fa3987eb13ae719c4b229b5df7732e2f (patch) | |
| tree | 9631dfb851c1e0dc111d487314b36d7e9933987d /src/grt/grt-values.adb | |
| parent | 20c32c5363f53fd009ed31e0c4b3ef4222b9fda7 (diff) | |
| download | ghdl-33ea6a40fa3987eb13ae719c4b229b5df7732e2f.tar.gz ghdl-33ea6a40fa3987eb13ae719c4b229b5df7732e2f.tar.bz2 ghdl-33ea6a40fa3987eb13ae719c4b229b5df7732e2f.zip | |
BUILD.txt: add more --disable options to the gcc build.
Diffstat (limited to 'src/grt/grt-values.adb')
0 files changed, 0 insertions, 0 deletions