scripts: dist handles UI

nelhage · May 1, 2014 · b57a3ea · b57a3ea
1 parent d8b3fed
commit b57a3ea
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/scripts/dist.sh b/scripts/dist.sh
@@ -39,9 +39,15 @@ for FILENAME in $(find ./dist -mindepth 1 -maxdepth 1 -type f); do
     CONSULNAME="consul${EXTENSION}"
 
     pushd ./dist
-    cp ${FILENAME} ${CONSULNAME}
-    zip ./pkg/${VERSION}_${PLATFORM}.zip ${CONSULNAME}
-    rm ${CONSULNAME}
+
+    if [ "${FILENAME}" = "ui.zip" ]; then
+        cp ${FILENAME} ./pkg/${VERSION}_web_ui.zip
+    else
+        cp ${FILENAME} ${CONSULNAME}
+        zip ./pkg/${VERSION}_${PLATFORM}.zip ${CONSULNAME}
+        rm ${CONSULNAME}
+    fi
+
     popd
 done