head 1.3; access; symbols L2_0_9_13:1.3 FSL_1_7_0:1.3 L2_0_9_12:1.3 LMTP2NNTP_1_4_1:1.3 LMTP2NNTP_1_4_0:1.3 FSL_1_6_1:1.3 L2_0_9_11:1.3 FSL_1_6_0:1.3 FSL_1_6b2:1.3 L2_0_9_10:1.3 FSL_1_6b1:1.3 L2_0_9_9:1.3 LMTP2NNTP_1_3_0:1.3 LMTP2NNTP_1_3b2:1.3 LMTP2NNTP_1_3b1:1.3 LMTP2NNTP_1_3a3:1.3 FSL_1_5_0:1.3 LMTP2NNTP_1_3a2:1.3 FSL_1_5a3:1.3 LMTP2NNTP_1_3a1:1.3 FSL_1_5a2:1.3 L2_0_9_8:1.3 FSL_1_5a1:1.3 L2_0_9_7:1.3 L2_0_9_6:1.3 FSL_1_4_0:1.3 FSL_1_4b1:1.3 L2_0_9_5:1.3 FSL_1_4a1:1.3 FSL_1_3_0:1.3 FSL_1_3b1:1.3 L2_0_9_4:1.3 FSL_1_2_1:1.3 L2_0_9_3:1.3 FSL_1_2_0:1.3 L2_0_9_2:1.3 FSL_1_1_0:1.3 FSL_1_1b1:1.3 WORKOFF:1.3.0.2 WORKOFF_BP:1.3 FSL_1_0_8:1.3 LMTP2NNTP_1_2_0:1.3 LMTP2NNTP_1_2b4:1.3 LMTP2NNTP_1_2b3:1.3 LMTP2NNTP_1_2b2:1.3 LMTP2NNTP_1_2b1:1.3 LMTP2NNTP_1_2a8:1.3 LMTP2NNTP_1_2a7:1.3 FSL_1_0_7:1.3 FSL_1_0_6:1.2 FSL_1_0_5:1.2 FSL_1_0_4:1.2 L2_0_9_1:1.2 FSL_1_0_3:1.2 LMTP2NNTP_1_2a6:1.2 FSL_1_0_2:1.2 FSL_1_0_1:1.2 FSL_1_0_0:1.2 FSL_0_9_0:1.2 L2_0_9_0:1.2 FSL_0_1_12:1.2 FSL_0_1_11:1.2 FSL_0_1_10:1.2 FSL_0_1_9:1.2 FSL_0_1_8:1.2 FSL_0_1_7:1.2 FSL_0_1_6:1.2 FSL_0_1_5:1.2 FSL_0_1_1:1.2 LMTP2NNTP_1_2a5:1.2 LMTP2NNTP_1_2a4:1.2 LMTP2NNTP_1_2a3:1.2 LMTP2NNTP_1_2a1:1.1; locks; strict; comment @# @; 1.3 date 2003.01.06.11.41.51; author rse; state Exp; branches; next 1.2; 1.2 date 2002.01.02.17.07.38; author rse; state Exp; branches; next 1.1; 1.1 date 2001.11.08.09.53.33; author rse; state Exp; branches; next ; desc @@ 1.3 log @- remove trailing whitespaces - adjust copyright messages - consistently use "OSSP l2" - consistently talk about "Flexible Logging" - use standard OSSP ASCII-art @ text @#!/bin/sh ## ## devtool -- Development Tool ## Copyright (c) 2001-2003 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 @bump copyright year @ text @d4 1 a4 1 ## Copyright (c) 2001-2002 Ralf S. Engelschall @ 1.1 log @switch to devtool stuff (taken over from OSSP SA) @ text @d4 1 a4 1 ## Copyright (c) 2001 Ralf S. Engelschall @