summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-04-06 18:15:45 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-04-06 18:15:45 +0200
commitfe9c72e60a59109bff7558224871ac5e80b9f38d (patch)
tree212b8257297f8ee6665e79c34e95d3055515fe7f
parente99cf3fc438d36a9a4f3bae63d6e8bed65c910d0 (diff)
refresh exec_filename_exec.patch
-rw-r--r--debian/patches/exec_filename_exec.patch3
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