summaryrefslogtreecommitdiff
path: root/debian/patches
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-06-17 13:34:31 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-06-17 13:34:31 +0200
commit3e47bd520b690bc1b500375536ab5e21b979cbf3 (patch)
tree7bf29613c752215c7acd4185a347052b70cded7f /debian/patches
parent7fca92379f0ca5be105dc5e429e0cf422e3d3c86 (diff)
add mount-bind.patch, reorder series, refresh makedev.diff
Diffstat (limited to 'debian/patches')
-rw-r--r--debian/patches/makedev.diff4
-rw-r--r--debian/patches/series9
2 files changed, 9 insertions, 4 deletions
diff --git a/debian/patches/makedev.diff b/debian/patches/makedev.diff
index f53320c5..b9410a6a 100644
--- a/debian/patches/makedev.diff
+++ b/debian/patches/makedev.diff
@@ -10,8 +10,8 @@ there.
;;
std)
-- mkdev console tty null zero full fd time mem klog shm
-+ mkdev console tty null zero full fd time mem klog
+- mkdev console tty null zero random urandom full fd time mem klog shm
++ mkdev console tty null zero random urandom full fd time mem klog
;;
console|com[0-9])
st $I root 600 /hurd/term ${DEVDIR}/$I device $I;;
diff --git a/debian/patches/series b/debian/patches/series
index ae00cc74..9a6f4907 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,10 @@
+# David Michael's patches
+david-add-random.patch
+david-fix-mach_debug.patch
+
+# Gabriele Giacone's patches
+mount-bind.patch
+
diskfs_no_inherit_dir_group.patch
init_try_runsystem.gnu.patch
makedev.diff
@@ -50,5 +57,3 @@ fix-net_rcv_msg.patch
0003-trans-fakeroot-fix-error-handling.patch
0004-libports-avoid-realloc-3-corner-case.patch
0005-libdiskfs-add-permission-check-to-file_chflags.patch
-david-add-random.patch
-david-fix-mach_debug.patch