diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/cpp | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/scripts/cpp b/scripts/cpp new file mode 100755 index 0000000000..4a62f1e5ae --- /dev/null +++ b/scripts/cpp @@ -0,0 +1,21 @@ +#! /bin/sh +cpp=`which cpp 2>/dev/null` +if test $? -ne 0; then + cpp=`type cpp 2>/dev/null | awk '{ print $NF }'` + if test $? -ne 0; then + cpp=`gcc -print-file-name=cpp 2>/dev/null` + if test $? -ne 0; then + if test -x /lib/cpp; then + cpp=/lib/cpp + else + echo "cpp not found" 1>&2 + exit 1 + fi + fi + fi +fi + +exec $cpp $* +Local Variables: +mode: sh +End: |