copy new script to build directory
@@ -73,6 +73,7 @@ file(COPY machinarium/server.key DESTINATION machinarium)
file(COPY odyssey/config DESTINATION odyssey)
file(COPY odyssey/environment.sh DESTINATION odyssey)
file(COPY odyssey/setup.sh DESTINATION odyssey)
+file(COPY odyssey/stop_pg.sh DESTINATION odyssey)
file(COPY odyssey/teardown.sh DESTINATION odyssey)
file(COPY odyssey/test_scram_backend.sh DESTINATION odyssey)
file(COPY odyssey/test_scram_frontend.sh DESTINATION odyssey)
