pgdg-autopkgtest: Mark skipped beta runs as NOT BUILT

diff --git a/jenkins/pgdg-autopkgtest b/jenkins/pgdg-autopkgtest
index c39f6faec3dce47ba5cf327b3821a13eed2cdfb6..1c6738dd68bc83ca9a32c51b3db1c164b0c7716c 100755 (executable)
--- a/jenkins/pgdg-autopkgtest
+++ b/jenkins/pgdg-autopkgtest
@@ -65,7 +65,7 @@ newpid-netns schroot -c $CHROOT -u root sh <<-EOF
        
          # skip PG devel tests if packages have not been built yet
          if [ -z "\$BINARIES" ]; then
-           echo "No version \$PG_SUPPORTED_VERSIONS packages for $PACKAGE found, exiting"
+           echo "###" "NOT BUILT" "###" "No version \$PG_SUPPORTED_VERSIONS packages for $PACKAGE found, exiting"
            exit 0
          fi