#!/bin/sh 
prefix=/usr
exec_prefix=${prefix}
if grep -q '{-!' $2; then
    echo ${exec_prefix}/bin/DrIFT $2 -o $3;
    ${exec_prefix}/bin/DrIFT $2 -o $3;
else 
    echo "{-# LINE 1 \"$1\" #-}" > $3
    cat $2 >> $3;
fi
