diff options
author | Michael Specter <mikespecter@google.com> | 2020-07-08 23:26:14 -0400 |
---|---|---|
committer | Michael Specter <mikespecter@google.com> | 2020-07-08 23:26:14 -0400 |
commit | 7f0057023265af9b38ceb03a18280dc1e73b02a0 (patch) | |
tree | 7f739ae00bbc7f468a5ea0081b4c4d4090864b47 | |
parent | 62e7435d1fc21bda3abf4f1009a69f8ecdcca152 (diff) | |
download | adeb-7f0057023265af9b38ceb03a18280dc1e73b02a0.tar.gz |
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 |