include /tmp/pdebug.h in pg sdk tarball

pmp-p · Aug 25, 2024 · fb07d11 · fb07d11
1 parent c235947
commit fb07d11
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cibuild.sh b/cibuild.sh
@@ -492,7 +492,7 @@ do
 
             if $CI
             then
-                tar -cpRz ${PGROOT} > /tmp/sdk/pglite-pg${PG_VERSION}.tar.gz
+                tar -cpRz /tmp/pdebug.h ${PGROOT} > /tmp/sdk/pglite-pg${PG_VERSION}.tar.gz
                 cp /tmp/sdk/pglite-pg${PG_VERSION}.tar.gz ${WEBROOT}/
             fi