filter

gcc-you can use this code to learn something about gcc, and inquire further into linux,

#!/bin/sh

script=$1
file=$2

# Possibly allow some files to go unchanged.  Other
# future manipulations are likely.
case $file in
 */alloc_policies.h)
  cat $file ;;
 *) sed -f $script $file ;;
esac