head 1.3; access; symbols UUID_1_6_2:1.2 UUID_1_6_1:1.2 UUID_1_6_0:1.2 UUID_1_5_1:1.2 UUID_1_5_0:1.2 UUID_1_4_2:1.2 UUID_1_4_1:1.2 UUID_1_4_0:1.2 UUID_1_3_2:1.2 UUID_1_3_1:1.2 UUID_1_3_0:1.2 UUID_1_2_1:1.2 UUID_1_2_0:1.2 UUID_1_1_2:1.2 UUID_1_1_1:1.2 UUID_1_1_0:1.2 UUID_1_0_4:1.2 UUID_1_0_3:1.2 UUID_1_0_2:1.2 UUID_1_0_1:1.2 UUID_1_0_0:1.2 UUID_0_9_7:1.2 UUID_0_9_6:1.2 UUID_0_9_5:1.2 UUID_0_9_4:1.2 UUID_0_9_3:1.1 UUID_0_9_2:1.1 UUID_0_9_1:1.1 UUID_0_9_0:1.1; locks; strict; comment @# @; 1.3 date 2008.07.05.12.58.15; author rse; state dead; branches; next 1.2; commitid XLXN7vUmABwPcC9t; 1.2 date 2004.01.19.12.15.57; author rse; state Exp; branches; next 1.1; 1.1 date 2004.01.06.20.14.28; author rse; state Exp; branches; next ; desc @@ 1.3 log @remove OSSP uuid from CVS -- it is now versioned controlled in a Monotone repository @ text @#!/bin/sh ## ## devtool -- Development Tool ## Copyright (c) 2001 Ralf S. Engelschall ## if [ $# -eq 0 ]; then echo "devtool:USAGE: devtool [ ...]" 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 >$tmpfile sh $tmpfile "$@@" rm -f $tmpfile >/dev/null 2>&1 || true @ 1.2 log @strip trailing whitespaces @ text @@ 1.1 log @import the first cut for our forthcoming OSSP uuid library @ text @d4 1 a4 1 ## Copyright (c) 2001 Ralf S. Engelschall @