# HG changeset patch
# User John Rouillard <rouilj@ieee.org>
# Date 1727316938 14400
# Node ID 7c68aace7e4843e23f9ab434e9e9f548be51620a
# Parent  92367689600aeeb980a63995e95da6ed8aa77c38
bug: verify that dumb-init exists

Verify that dumb-init exists and is non-zero size.

At some point a dumb-init package was creating a 0 length
file for dumb-init.

diff -r 92367689600a -r 7c68aace7e48 scripts/Docker/Dockerfile
--- a/scripts/Docker/Dockerfile	Wed Sep 25 21:33:13 2024 -0400
+++ b/scripts/Docker/Dockerfile	Wed Sep 25 22:15:38 2024 -0400
@@ -218,7 +218,8 @@
            install -U $upgrades < /dev/null; \
     else \
         echo "Nothing to pip update"; \
-    fi
+    fi; \
+    test -s /usr/bin/dumb-init
 
 ARG source
 ARG pythonversion