diff options
| author | Xiretza <xiretza@xiretza.xyz> | 2021-05-09 16:32:36 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-05-10 07:56:17 +0200 |
| commit | 22f619603e0348fba7472a4164fb31031f0f23d2 (patch) | |
| tree | d6da24616b4c7e68626b6a2bbd42a16762c43cd5 /src/psl | |
| parent | 4dd3ef8473d4b88c6249de225f2637570ce99f3f (diff) | |
| download | ghdl-22f619603e0348fba7472a4164fb31031f0f23d2.tar.gz ghdl-22f619603e0348fba7472a4164fb31031f0f23d2.tar.bz2 ghdl-22f619603e0348fba7472a4164fb31031f0f23d2.zip | |
Makefile.in: pass ADA_FLAGS to GRT
Diffstat (limited to 'src/psl')
0 files changed, 0 insertions, 0 deletions