1#! /bin/sh 2# 3# Extract the directory name from "-o .libs/foobar.lo" and do the move 4# after the compilation. 5# 6 7GNATMAKE=$1 8shift 9cline="$@" 10fname=`echo $cline | sed -e 's/^.* -o \([^ ]*\)$/\1/'` 11rname=`basename $fname | sed -e 's/lo$/o/'` 12cline=`echo $cline | sed -e "s, -o \([^ ]*\)\$,,"` 13$GNATMAKE -f -u $cline 14if [ "$rname" != "$fname" ]; then 15 echo mv $rname $fname 16 mv $rname $fname 17fi 18