ossp-pkg/uuid/devtool
#!/bin/sh
##
## devtool -- Development Tool
## Copyright (c) 2001 Ralf S. Engelschall <rse@engelschall.com>
##
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