Skip to content
Jump to bottom

build.sh: add option to build in a 'bind-mount' directory #137

Merged
merged 2 commits into from
Jan 14, 2021
Merged

build.sh: add option to build in a 'bind-mount' directory #137

merged 2 commits into from
Jan 14, 2021

Commits on Dec 18, 2020

  1. build.sh: add option to build in a 'bind-mount' directory 

    This is way experimental. Trouble might arise from the
automounter when it comes to expiring the wrong directory
(the one bound).
    @thomas
    thomas committed Dec 18, 2020
    Configuration menu
    Copy the full SHA
    be12db7 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2021

  1. build.sh: use subdir for build and check mp based on dev/inode

    @thomas
    thomas committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    437d094 View commit details
    Browse the repository at this point in the history