ver=${ver%.tar.gz}
if ! [ -d "../$ver" ] ; then
echo "New version: $ver"
+# cp ../drlaunch/dist/$t ..
mkdir "../$ver"
cp ../drlaunch/dist/$t ../$ver/$t
- ln -s $t ../$ver/drlaunch_$ver.orig.tar.gz
+# ln -s $t ../$ver/drlaunch_$ver.orig.tar.gz
fi
done