diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2018-06-08 11:25:15 +0100 |
|---|---|---|
| committer | 1138-4EB <1138-4EB@users.noreply.github.com> | 2018-06-08 21:57:49 +0100 |
| commit | 30ee7a32b64c94f1ac0c8e3b5068894b6ea8b556 (patch) | |
| tree | cd855e14735a4cc8eab3fb98ae42114e0e0be271 /src/bug.ads | |
| parent | 0a20fceb58f4701127e6cae2f3e71b856d6e69dd (diff) | |
| download | ghdl-30ee7a32b64c94f1ac0c8e3b5068894b6ea8b556.tar.gz ghdl-30ee7a32b64c94f1ac0c8e3b5068894b6ea8b556.tar.bz2 ghdl-30ee7a32b64c94f1ac0c8e3b5068894b6ea8b556.zip | |
log stderr of make to a file and use tail to show last 1000 lines
Diffstat (limited to 'src/bug.ads')
0 files changed, 0 insertions, 0 deletions