diff options
| author | Patrick Lehmann <Paebbels@gmail.com> | 2018-06-09 07:45:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-09 07:45:33 +0200 |
| commit | d69ff3efb5cdfd4b3d7a443cf72afa3bc2bb11ed (patch) | |
| tree | cb69cbae1b76dc6398165ae208ba383480ac9fdd /src/synth/netlists-builders.adb | |
| parent | 8498f8ccccae6cbaed434d9d0c6e54875466fb25 (diff) | |
| parent | 30ee7a32b64c94f1ac0c8e3b5068894b6ea8b556 (diff) | |
| download | ghdl-d69ff3efb5cdfd4b3d7a443cf72afa3bc2bb11ed.tar.gz ghdl-d69ff3efb5cdfd4b3d7a443cf72afa3bc2bb11ed.tar.bz2 ghdl-d69ff3efb5cdfd4b3d7a443cf72afa3bc2bb11ed.zip | |
Merge pull request #601 from 1138-4EB/fix-make-use-tail
Log STDERR of make to a file and use tail to show last 1000 lines.
Diffstat (limited to 'src/synth/netlists-builders.adb')
0 files changed, 0 insertions, 0 deletions