diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-03-19 08:23:37 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-03-19 08:23:37 +0100 |
| commit | fd4fbfea4aa99b325fbb9fb4d1568dd5f15881df (patch) | |
| tree | de80d8165c26546487758053edd9c44bb46a4cd3 /src/grt/grt-processes.ads | |
| parent | 77d23ca7d4d5dc20b337b0d6152346acef1926fd (diff) | |
| download | ghdl-fd4fbfea4aa99b325fbb9fb4d1568dd5f15881df.tar.gz ghdl-fd4fbfea4aa99b325fbb9fb4d1568dd5f15881df.tar.bz2 ghdl-fd4fbfea4aa99b325fbb9fb4d1568dd5f15881df.zip | |
ghdldrv: avoid to pass -P options two times.
Diffstat (limited to 'src/grt/grt-processes.ads')
0 files changed, 0 insertions, 0 deletions