From fc09d27a92a0d8d7205577299bfab91e2c12ff4a Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Sun, 26 Apr 2020 22:29:57 +0200
Subject: [PATCH] Print only missing dependencies

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
---
 programs/demo_common.sh | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/programs/demo_common.sh b/programs/demo_common.sh
index ef2acfcc0a..ff3f0408c9 100644
--- a/programs/demo_common.sh
+++ b/programs/demo_common.sh
@@ -86,11 +86,17 @@ config_has () {
 ## depends_on SYMBOL...
 ## Exit if the library configuration does not have all SYMBOLs set.
 depends_on () {
-  if ! config_has "$@"; then
+  m=
+  for x in "$@"; do
+    if ! config_has "$x"; then
+      m="$m $x"
+    fi
+  done
+  if [ -n "$m" ]; then
     cat >&2 <<EOF
-This demo script requires the following configuration options to be enabled
-at compile time:
-  $@
+$0: this demo requires the following
+configuration options to be enabled at compile time:
+ $m
 EOF
     # Exit with a success status so that this counts as a pass for run_demos.py.
     exit