add missing popd

This commit is contained in:
Felix Pankratz 2022-08-13 17:39:39 +02:00
parent 9f277d4af0
commit 459492b131

View File

@ -18,3 +18,4 @@ zip -r ${OUTPUT_FILE} *
popd
pushd ${MANIFEST_DIR}
zip ${OUTPUT_FILE} manifest.json
popd