Skip to content
Jump to bottom

Fix tee pipe #66

Merged
merged 1 commit into from
Jun 28, 2019
Merged

Fix tee pipe #66

merged 1 commit into from
Jun 28, 2019

Commits on Jun 13, 2019

  1. build.sh: replace tee pipe with script 

    when something inside the spawned build script switches to
nonbuffered IO and creates very long lines ( > 64k ) the build
will fail. solution: replace the tee pipe with /usr/bin/script.
    @wwwutz
    wwwutz committed Jun 13, 2019
    Configuration menu
    Copy the full SHA
    d8c7797 View commit details
    Browse the repository at this point in the history