From 9ac4c7b173e9c7c7660bd14d617230d0fd570fbf Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 7 Mar 2024 17:22:09 +0100
Subject: [PATCH] [frama-c-script] fix flamegraph command
Adding option `-u` to frama-c-script led to an "unbound variable" error when
running `frama-c-script flamegraph`.
---
bin/frama-c-script | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/frama-c-script b/bin/frama-c-script
index a6be7954558..3c61ac10c6d 100755
--- a/bin/frama-c-script
+++ b/bin/frama-c-script
@@ -195,7 +195,7 @@ flamegraph() {
</body>
</html>
EOF
- if [ -z "$NOGUI" ]; then
+ if [ -z "${NOGUI-}" ]; then
open_file "$out_html"
fi
}
--
GitLab