view rDiff/bin/genarglist.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

list=
until [ -z $1 ] ; do
	if [ $# != 1 ];
	then
		list="${list}$1:"
	else
		list="${list}$1"
	fi
	shift
done
echo $list