1#!/bin/sh -e 2 3INPUT=$1 4OUTPUT=$2 5 6# Drop all global headers 7cat $INPUT |tac |sed '/^#.*"\/usr\//,$d' |sed '/__fsid_t/d' |tac |grep -v "^#" | sed -e 's/_Bool/_Bool\n/' > $OUTPUT 8