#!/bin/bash # Copyright 2002 Hugo Mills # Regardless of the license of any software shipped with this file, # this file is public domain and may be used for any purpose. FILE=$1 COMPILER=$2 FILEROOT=$3 shift 3 SWITCHES=$* $COMPILER -M $SWITCHES $FILE \ | sed -e "s: /[^ ]*::g" \ | sed -e 1s:^:$FILEROOT: