Searched refs:DIST (Results 1 – 1 of 1) sorted by relevance
23 DIST="$2"28 echo "DIST=$DIST"48 cp -rv out/host/maven/bundles-*/products/*.zip "$DIST"/49 cp -rv out/host/maven/p2repo-*/p2repo-*.zip "$DIST"/p2repo-$BNUM.zip