diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-03-11 19:24:09 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-03-11 19:24:09 +0100 |
| commit | d07caf380c45ae5e0b8e4f1d1e14e824401b6162 (patch) | |
| tree | ace317c0910efc8228bf32d7a4d592d22e06d4cb /scripts/ci-run.sh | |
| parent | 9ef9501e2bc9528a37321fc06cee34defe5aa304 (diff) | |
| download | ghdl-d07caf380c45ae5e0b8e4f1d1e14e824401b6162.tar.gz ghdl-d07caf380c45ae5e0b8e4f1d1e14e824401b6162.tar.bz2 ghdl-d07caf380c45ae5e0b8e4f1d1e14e824401b6162.zip | |
configure: explain in help the installation directories
Diffstat (limited to 'scripts/ci-run.sh')
0 files changed, 0 insertions, 0 deletions