Skip to content

Instantly share code, notes, and snippets.

@2bits
Created September 25, 2012 22:46
Show Gist options
  • Select an option

  • Save 2bits/3784930 to your computer and use it in GitHub Desktop.

Select an option

Save 2bits/3784930 to your computer and use it in GitHub Desktop.
--- a/coregrind/Makefile.in 2012-09-18 12:19:16.000000000 -0700
+++ b/coregrind/Makefile.in 2012-09-25 15:46:01.000000000 -0700
@@ -6058,9 +6058,9 @@
$(abs_builddir)/m_mach:
mkdir -p $@
$(mach_user_srcs): $(mach_defs) $(abs_builddir)/m_mach
- (cd m_mach && mig $(mach_defs))
+ (cd m_mach && mig -DLIBSYSCALL_INTERFACE $(mach_defs))
$(mach_hdrs): $(mach_defs) $(mach_user_srcs) $(abs_builddir)/m_mach
- (cd m_mach && mig $(mach_defs))
+ (cd m_mach && mig -DLIBSYSCALL_INTERFACE $(mach_defs))
#----------------------------------------------------------------------------
# General stuff
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment