diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-12-17 20:11:46 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-12-18 06:06:52 +0100 |
| commit | 7cf4da99e7cb62347b9f2ee4c3513d0446e92126 (patch) | |
| tree | 8b52cd28bfa74e9b18f50397d3f76bf52d24d1a9 /doc/using | |
| parent | 89eb6839ac8c429ef4c626ab2216411a2f5cc80c (diff) | |
| download | ghdl-7cf4da99e7cb62347b9f2ee4c3513d0446e92126.tar.gz ghdl-7cf4da99e7cb62347b9f2ee4c3513d0446e92126.tar.bz2 ghdl-7cf4da99e7cb62347b9f2ee4c3513d0446e92126.zip | |
configure: allow user to override MAKE.
Diffstat (limited to 'doc/using')
0 files changed, 0 insertions, 0 deletions