view rDiff/bin/rdiff_wrapper.sh @ 3:29a698dc5c7e default tip

Merge multiple heads.
author Dave Bouvier <dave@bx.psu.edu>
date Mon, 27 Jan 2014 14:15:36 -0500
parents 0f80a5141704
children
line wrap: on
line source

#/bin/bash
# rDiff wrapper script to start the interpreter with the correct list of arguments

set -e

PROG=`basename $0`
DIR=`dirname $0`

exec ${DIR}/start_interpreter.sh ${PROG} "`${DIR}/genarglist.sh $@`"