#!/bin/sh
tmp=`mktemp -t arb_fdnaml_XXXXXXXXXX`
pidfile=`mktemp -p /tmp foo_${USER}_${PPID}_XXXXXX`
mv infile $tmp
nice -19 $1 < $tmp &
sig=$!
/bin/echo "$sig $$ \c" >>"$pidfile"
wait
# echo $tmp not deleted for debugging purposes
rm -f $tmp
rm -f checkpoint.$sig
mv treefile.$sig treefile
