diff --git a/debian/rules b/debian/rules index 4fb91d4f..4e826a2b 100755 --- a/debian/rules +++ b/debian/rules @@ -495,6 +495,8 @@ RUNTIMES_LIST := $(shell echo "$(RUNTIMES)"|sed -e "s| ||g") preconfigure: + dh_listpackages + if ! grep -qs '/proc ' /proc/mounts; then \ echo "/proc needs to be mounted"; \ exit 1; \