2004-02-02 20:19:25 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
##
|
|
|
|
|
## devtool -- Development Tool
|
2004-03-19 15:31:22 +00:00
|
|
|
## Copyright (c) 2001-2003 Ralf S. Engelschall <rse@engelschall.com>
|
2004-02-02 20:19:25 +00:00
|
|
|
##
|
|
|
|
|
|
|
|
|
|
if [ $# -eq 0 ]; then
|
|
|
|
|
echo "devtool:USAGE: devtool <command> [<arg> ...]" 1>&2
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
cmd="$1"
|
|
|
|
|
shift
|
|
|
|
|
|
|
|
|
|
devtoolfunc="./devtool.func"
|
|
|
|
|
|
|
|
|
|
if [ ! -f devtool.conf ]; then
|
|
|
|
|
echo "devtool:ERROR: no devtool.conf in current directory" 1>&2
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
cmdline=`grep "^%$cmd" devtool.conf`
|
|
|
|
|
if [ ".$cmdline" = . ]; then
|
|
|
|
|
echo "devtool:ERROR: command $cmd not found in devtool.conf" 1>&2
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [ ".$TMPDIR" != . ]; then
|
|
|
|
|
tmpdir="$TMPDIR"
|
|
|
|
|
elif [ ".$TEMPDIR" != . ]; then
|
|
|
|
|
tmpdir="$TEMPDIR"
|
|
|
|
|
else
|
|
|
|
|
tmpdir="/tmp"
|
|
|
|
|
fi
|
|
|
|
|
tmpfile="$tmpdir/rc.$$.tmp"
|
|
|
|
|
|
|
|
|
|
rm -f $tmpfile
|
|
|
|
|
touch $tmpfile
|
|
|
|
|
echo ". $devtoolfunc" >>$tmpfile
|
|
|
|
|
( sed <devtool.conf -e "1,/^%common/d" -e '/^%.*/,$d'
|
|
|
|
|
sed <devtool.conf -e "1,/^%$cmd/d" -e '/^%.*/,$d' ) |\
|
|
|
|
|
sed -e 's;\([ ]\)@\([a-zA-Z_][a-zA-Z0-9_]*\);\1devtool_\2;' >>$tmpfile
|
|
|
|
|
|
|
|
|
|
sh $tmpfile "$@"
|
|
|
|
|
|
|
|
|
|
rm -f $tmpfile >/dev/null 2>&1 || true
|
|
|
|
|
|
