summaryrefslogtreecommitdiff
path: root/debian/patches
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-11-21 00:24:23 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-11-21 00:25:16 +0100
commit4d550247ec47c862e034878efac62c8bc44fd68f (patch)
tree1fd56c2c0a881205ec2c35e9a98937f6542699a8 /debian/patches
parent314d3023d8cbfcd164fcd7a08827e2dc63feed22 (diff)
parentdd1164c7a26e411c59154f0560717315b22bb014 (diff)
Merge branch 'master' of git.debian.org:/git/pkg-hurd/hurd
Diffstat (limited to 'debian/patches')
-rw-r--r--debian/patches/exec_filename_fs.patch2
-rw-r--r--debian/patches/rc.patch6
2 files changed, 4 insertions, 4 deletions
diff --git a/debian/patches/exec_filename_fs.patch b/debian/patches/exec_filename_fs.patch
index b92a13a5..51f5aaa4 100644
--- a/debian/patches/exec_filename_fs.patch
+++ b/debian/patches/exec_filename_fs.patch
@@ -136,8 +136,8 @@ Index: hurd-debian/exec/hashexec.c
+
+
mach_port_deallocate (mach_task_self (), interp_file);
+ munmap (new_argv, new_argvlen);
- if (! e->error)
Index: hurd-debian/hurd/fs.defs
===================================================================
--- hurd-debian.orig/hurd/fs.defs 2013-06-19 23:32:37.000000000 +0000
diff --git a/debian/patches/rc.patch b/debian/patches/rc.patch
index fffbb467..a4be4aa5 100644
--- a/debian/patches/rc.patch
+++ b/debian/patches/rc.patch
@@ -19,11 +19,11 @@ More debianish rc scripts
+ fsysopts / --update --writable
;;
# Filesystem modified (but ok now)
- 1 | 2)
+ 1)
+ fsysopts / --update --writable
;;
- # Fsck couldn't fix it.
- 4 | 8)
+ # Filesystem modified, filesystem should be restarted
+ # Ideally we would only restart the filesystem
@@ -85,12 +88,25 @@ if test -d /tmp; then
fi