Skip to content

tools/build.sh: Remove unused home directory #58

Merged
merged 1 commit into from
Apr 18, 2019
Merged

tools/build.sh: Remove unused home directory #58

merged 1 commit into from
Apr 18, 2019

Commits on Apr 18, 2019

  1. tools/build.sh: Remove unused home directory

    Do not create a $HOME. It is not used, because the build scripts,
    cloned from TEMPLATE.sh, also create a empty HOME and overwrite
    the environment variable again.
    
    Fixes #54.
    donald committed Apr 18, 2019
    Configuration menu
    Copy the full SHA
    d234fa2 View commit details
    Browse the repository at this point in the history