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