summaryrefslogtreecommitdiff
path: root/debian/patches/0006-debootstrap-Mount-virtual-filesystems-in-the-deboots.patch
diff options
context:
space:
mode:
Diffstat (limited to 'debian/patches/0006-debootstrap-Mount-virtual-filesystems-in-the-deboots.patch')
-rw-r--r--debian/patches/0006-debootstrap-Mount-virtual-filesystems-in-the-deboots.patch44
1 files changed, 0 insertions, 44 deletions
diff --git a/debian/patches/0006-debootstrap-Mount-virtual-filesystems-in-the-deboots.patch b/debian/patches/0006-debootstrap-Mount-virtual-filesystems-in-the-deboots.patch
deleted file mode 100644
index fc3a3c1..0000000
--- a/debian/patches/0006-debootstrap-Mount-virtual-filesystems-in-the-deboots.patch
+++ /dev/null
@@ -1,44 +0,0 @@
-From 4cb54f6ed94cb2ad94007cd72aa1bc40f384f319 Mon Sep 17 00:00:00 2001
-From: Sjoerd Simons <sjoerd.simons@collabora.co.uk>
-Date: Tue, 31 Jan 2017 09:48:10 +0100
-Subject: [PATCH 6/8] debootstrap: Mount virtual filesystems in the debootstrap
- root
-
-For the debootstrap recipe the virtual filesystems also should be
-mounted in the actual build root not just the main one.
-
-Signed-off-by: Sjoerd Simons <sjoerd.simons@collabora.co.uk>
----
- build-recipe-debootstrap | 10 ++++++++++
- 1 file changed, 10 insertions(+)
-
-diff --git a/build-recipe-debootstrap b/build-recipe-debootstrap
-index ae52dc0..5ae7cfc 100644
---- a/build-recipe-debootstrap
-+++ b/build-recipe-debootstrap
-@@ -65,12 +65,22 @@ recipe_build_debootstrap() {
- cp $BUILD_ROOT/etc/hosts $BUILD_ROOT/$myroot/etc/hosts
- fi
-
-+ # Mount special filesystem in the debootstrap build root
-+ mount -n -tproc none $BUILD_ROOT/$myroot/proc
-+ mount -n -tdevpts -omode=0620,gid=5 none $BUILD_ROOT/$myroot/dev/pts
-+ mkdir -p $BUILD_ROOT/$myroot/dev/shm
-+ mount -n -ttmpfs none $BUILD_ROOT/$myroot/dev/shm
-+
- # move topdir over
- mv "$BUILD_ROOT/$TOPDIR" "$BUILD_ROOT/$myroot/${TOPDIR%/*}"
-
- # do the build
- dsc_build "$BUILD_ROOT/$myroot"
-
-+ umount -n $BUILD_ROOT/$myroot/proc
-+ umount -n $BUILD_ROOT/$myroot/dev/pts
-+ umount -n $BUILD_ROOT/$myroot/dev/shm
-+
- # move topdir back
- mv "$BUILD_ROOT/$myroot/$TOPDIR" "$BUILD_ROOT/${TOPDIR%/*}"
-
---
-2.1.4
-