rm -rf gnumach_headers mkdir gnumach_headers cp -r ../include/* gnumach_headers cp -r ../glue/mach gnumach_headers rm -rf gnumach_headers/sys rm -rf gnumach_headers/st* cp mig/mach.h gnumach_headers/mach
