diff --git a/src/copy2ecss.sh b/src/copy2ecss.sh new file mode 100755 index 0000000..8581e59 --- /dev/null +++ b/src/copy2ecss.sh @@ -0,0 +1,15 @@ +#!/bin/sh + +SVNDIR=https://svn.win.tue.nl/repos/ecss/trunk/protocols/spdl/scyther +TMPDIR=/tmp/ecsslatesscyther +VERSIONFILE=$TMPDIR/version.txt +SCYTHER=$TMPDIR/scyther + +rm -rf $TMPDIR +svn co $SVNDIR $TMPDIR +cp scyther $SCYTHER +$SCYTHER --version >$VERSIONFILE +cat $VERSIONFILE +svn commit --file $VERSIONFILE $SCYTHER + +echo "Committed this version to the ECSS repository."