Skip to content
Jump to bottom

build.sh: write log and build script to /package/$PREFIX #70

Merged
merged 1 commit into from
Jun 28, 2019
Merged

build.sh: write log and build script to /package/$PREFIX #70

merged 1 commit into from
Jun 28, 2019

Commits on Jun 28, 2019

  1. build.sh: write log and build script to /package/$PREFIX 

    - write script-logfile to build destination because of permission issues
- unhide build script
    @wwwutz
    wwwutz committed Jun 28, 2019
    Configuration menu
    Copy the full SHA
    8ca1723 View commit details
    Browse the repository at this point in the history