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