diff options
Diffstat (limited to 'script/gen-manual-mach.sh')
-rwxr-xr-x | script/gen-manual-mach.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/gen-manual-mach.sh b/script/gen-manual-mach.sh index 02f7eda..b740af9 100755 --- a/script/gen-manual-mach.sh +++ b/script/gen-manual-mach.sh @@ -1,6 +1,6 @@ #!/bin/bash out=generated/manual-mach.inc.h -(mig -user /dev/stdout -server /dev/null -header /dev/null /usr/include/mach/{thread_act,vm_map}.defs | +(mig -user /dev/stdout -server /dev/null -header /dev/null /usr/include/mach/{thread_act,mach_vm}.defs | unifdef -U__MigTypeCheck | grep -v '#define USING_VOUCHERS' | sed -E 's/(mach_msg|memcpy)\(/manual_\1(/g; |