set deploymentdir_name variable for p2 index.html fix
diff --git a/post-tycho.sh b/post-tycho.sh
index 32e2e9d..c3881fe 100644
--- a/post-tycho.sh
+++ b/post-tycho.sh
@@ -7,6 +7,7 @@
#export force_context_qualifier
deploymentdir="/home/data/httpd/download.eclipse.org/jetty/updates/jetty-bundles-8.x"
+[ -z "$deploymentdir_name" ] && deploymentdir_name="jetty-bundles-8.x"
builtrepodir="jetty.bundles.repo/target/site"
if [ ! -d "$deploymentdir" ]; then
echo "Unable to find the deployment directory $deploymentdir"
