-#!/bin/csh -f
-
-if (! $?TM_TMP_DIR) then
- setenv TM_TMP_DIR /tmp
-endif
-
-if( $5 == "" ) then
- set filename="$TM_TMP_DIR/mime$$"
+#!/bin/sh
+if [ "$TM_TMP_DIR" = "" ]; then
+ TM_TMP_DIR=/tmp
+ export TM_TMP_DIR
+fi
+if [ "$5" = "" ]; then
+ filename="$TM_TMP_DIR/mime$$"
else
- set filename = $TM_TMP_DIR/$5
-endif
+ filename="$TM_TMP_DIR/$5"
+fi
echo "$2; $3 -> $filename"