diff options
Diffstat (limited to 'debian/patches/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 |