diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-06 18:15:45 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-06 18:15:45 +0200 |
commit | fe9c72e60a59109bff7558224871ac5e80b9f38d (patch) | |
tree | 212b8257297f8ee6665e79c34e95d3055515fe7f | |
parent | e99cf3fc438d36a9a4f3bae63d6e8bed65c910d0 (diff) |
refresh exec_filename_exec.patch
-rw-r--r-- | debian/patches/exec_filename_exec.patch | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/patches/exec_filename_exec.patch b/debian/patches/exec_filename_exec.patch index c90473ec..40452608 100644 --- a/debian/patches/exec_filename_exec.patch +++ b/debian/patches/exec_filename_exec.patch @@ -288,10 +288,11 @@ Don't guess the file name if file_name_exec is set. target = exec #targets = exec exec.static -@@ -30,6 +30,7 @@ HURDLIBS = trivfs fshelp iohelp ports ih +@@ -30,7 +30,8 @@ HURDLIBS = trivfs fshelp iohelp ports ih OTHERLIBS = -lpthread exec-MIGSFLAGS = -imacros $(srcdir)/execmutations.h + exec_startup-MIGSFLAGS = -imacros $(srcdir)/execmutations.h +exec_experimental-MIGSFLAGS = -imacros $(srcdir)/execmutations.h include ../Makeconf |