diff options
author | tgingold <tgingold@users.noreply.github.com> | 2017-02-09 06:16:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-09 06:16:50 +0100 |
commit | 427ee87b266e0cc6103f8e44ad01acfd55f31772 (patch) | |
tree | d8d1db6fa3d6a4f1e5db503f6989801a56171765 /src/synth | |
parent | 7873da82231e872021311ece34644c323e5e99d8 (diff) | |
parent | cbfb15b79968b93cef7960e0380a1a35beba523a (diff) | |
download | ghdl-427ee87b266e0cc6103f8e44ad01acfd55f31772.tar.gz ghdl-427ee87b266e0cc6103f8e44ad01acfd55f31772.tar.bz2 ghdl-427ee87b266e0cc6103f8e44ad01acfd55f31772.zip |
Merge pull request #271 from 1138-4EB/travis-sh-envvar
Allow not to pass `$BLD` as argument to <travis-ci.sh>
Diffstat (limited to 'src/synth')
0 files changed, 0 insertions, 0 deletions