diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2018-12-05 19:05:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-05 19:05:38 +0100 |
| commit | 697e2ed49039d3573a4fe8862341e85e47c74932 (patch) | |
| tree | 8b0f54a073a12e1236d4e8f2cd844480ebdf115c /.cirrus/Dockerfile.ubuntu16.04 | |
| parent | 6ae143685ae0977ec50ef2e433e98e086ef91c91 (diff) | |
| parent | 99e1b6db4785d4a34f2a350551681ea45362840a (diff) | |
| download | nextpnr-697e2ed49039d3573a4fe8862341e85e47c74932.tar.gz nextpnr-697e2ed49039d3573a4fe8862341e85e47c74932.tar.bz2 nextpnr-697e2ed49039d3573a4fe8862341e85e47c74932.zip | |
Merge pull request #165 from smunaut/build_pipe
build: Make use of the pipe option to avoid temporary files
Diffstat (limited to '.cirrus/Dockerfile.ubuntu16.04')
0 files changed, 0 insertions, 0 deletions