--- mig.in.orig 2005-04-09 12:58:11.000000000 +0200 +++ mig.in 2005-04-09 13:01:30.000000000 +0200 @@ -93,7 +93,7 @@ -prefix | -subrprefix ) migflags="$migflags $1 $2"; shift; shift;; -MD ) sawMD=1; cppflags="$cppflags $1"; shift;; - -imacros ) cppflags="$cppflags $1 $2"; shift; shift;; + -imacros | -isystem ) cppflags="$cppflags $1 $2"; shift; shift;; -cc) cpp="$2"; shift; shift;; -migcom) migcom="$2"; shift; shift;; -* ) cppflags="$cppflags $1"; shift;;