diff options
| author | mspecter <mikespecter@gmail.com> | 2020-07-16 14:51:35 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-16 14:51:35 -0400 |
| commit | 34ad477b8f046498604650a8a7fa66cd96ab5ce1 (patch) | |
| tree | 7f739ae00bbc7f468a5ea0081b4c4d4090864b47 | |
| parent | 62e7435d1fc21bda3abf4f1009a69f8ecdcca152 (diff) | |
| parent | 7f0057023265af9b38ceb03a18280dc1e73b02a0 (diff) | |
| download | adeb-34ad477b8f046498604650a8a7fa66cd96ab5ce1.tar.gz | |
Merge pull request #36 from mspecter/master
Adding mount point for /dev/binderfs if needed
| -rw-r--r-- | addons/run.common | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/addons/run.common b/addons/run.common index 5c45308..e1a8511 100644 --- a/addons/run.common +++ b/addons/run.common @@ -36,6 +36,12 @@ do_mounts() mkdir -p debian/vendor/ mount --bind /vendor debian/vendor/ fi + + if [ -d /dev/binderfs/ ]; then + mkdir -p debian/dev/binderfs + mount --bind /dev/binderfs/ debian/dev/binderfs + fi + } mount | grep debian > /dev/null |