diff options
Diffstat (limited to 'inc/helper.inc.sh')
| -rw-r--r-- | inc/helper.inc.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/inc/helper.inc.sh b/inc/helper.inc.sh index 00c1915..6f63dfe 100644 --- a/inc/helper.inc.sh +++ b/inc/helper.inc.sh @@ -3,6 +3,7 @@ setupBindmounts() { mount -o bind /proc $BROOT_BUILDROOT_PATH/proc mount -t devtmpfs dev $BROOT_BUILDROOT_PATH/dev chroot $BROOT_BUILDROOT_PATH mount -t devpts devpts /dev/pts + [ "x$(cat /proc/mounts | grep -q "/tmp/deb")" == "x" ] && mount -o bind /tmp/deb $BROOT_BUILDROOT_PATH/var/cache/apt/archives } destroyBindmounts() { |