diff options
Diffstat (limited to 'mach')
| -rw-r--r-- | mach/shortcut.awk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mach/shortcut.awk b/mach/shortcut.awk index ea283d49ba..090da82b6a 100644 --- a/mach/shortcut.awk +++ b/mach/shortcut.awk @@ -1,6 +1,7 @@ # Icky intimate knowledge of MiG output. BEGIN { print "/* This file is generated by shortcut.awk. */"; + print "#include <mach-shortcuts-hidden.h>"; echo=1; inproto=0; proto=""; arglist=""; } @@ -44,6 +45,7 @@ echo == 1 { print $0; } print " return err;" print "}"; print "weak_alias (" call ", " alias ")"; + print "libc_hidden_def (" call ")"; # Declare RPC so the weak_alias that follows will work. print "extern __typeof (" call ") " rpc ";"; echo = 1; |