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