diff options
| -rw-r--r-- | debian/patches/exec_filename_fs.patch | 2 | ||||
| -rw-r--r-- | debian/patches/rc.patch | 6 |
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 |