diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-11-01 22:47:01 +0000 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-11-01 22:47:01 +0000 |
| commit | c27d9c3c97b18cb34a5997beb73b3740a1c010b1 (patch) | |
| tree | 4ce00143e33677a2b805aed9333b4c2b68d67445 /debian/patches | |
| parent | 54e3446b2134baee308d83d4a279a610173173b2 (diff) | |
refresh patches
Diffstat (limited to 'debian/patches')
| -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 |