diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-10-23 17:39:58 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-10-23 18:39:58 +0200 |
| commit | 1dc2bb2266d14dfc082706a947a5f8668ed51a0c (patch) | |
| tree | adbafc133064894eaf5b44aed13ff39980ea61d8 /src/psl | |
| parent | a08e8ce832701dd0832330e783009b20b34f6782 (diff) | |
| download | ghdl-1dc2bb2266d14dfc082706a947a5f8668ed51a0c.tar.gz ghdl-1dc2bb2266d14dfc082706a947a5f8668ed51a0c.tar.bz2 ghdl-1dc2bb2266d14dfc082706a947a5f8668ed51a0c.zip | |
fix(configure): use '/dev/null' to check 'cmp', use 'sed' to compare versions (#986)
Diffstat (limited to 'src/psl')
0 files changed, 0 insertions, 0 deletions