build: Fix build script output option (#650)

ndsev · Jul 17, 2024 · f6ce97c · f6ce97c
1 parent cca0396
commit f6ce97c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/scripts/build.sh b/scripts/build.sh
@@ -554,7 +554,9 @@ main()
     fi
 
     local ANT_PROPS=(-Dzserio.build_dir="${ZSERIO_BUILD_DIR}"
-                     -Dzserio.install_dir="${ZSERIO_DISTR_DIR}")
+                     -Dzserio.install_dir="${ZSERIO_DISTR_DIR}"
+                     -Dzserio_extensions.build_dir="${ZSERIO_BUILD_DIR}/compiler/extensions"
+                     -Dzserio_extensions.install_dir="${ZSERIO_DISTR_DIR}/zserio_libs")
 
     # build Zserio Ant task
     if [[ ${PARAM_ANT_TASK} == 1 ]] ; then