From a46c77d2d71fa563805b5f84bb7340ce6c0e160f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 14 May 2024 16:38:50 +0200
Subject: [PATCH] [analysis-scripts] avoid absolute path in help messag
---
bin/frama-c-script | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/bin/frama-c-script b/bin/frama-c-script
index cb9251f5aae..f92e7107be4 100755
--- a/bin/frama-c-script
+++ b/bin/frama-c-script
@@ -22,7 +22,7 @@
##########################################################################
usage() {
- echo "usage: $0 cmd [args]"
+ echo "usage: frama-c-script cmd [args]"
echo ""
echo " where cmd is:"
echo ""
@@ -89,7 +89,7 @@ usage() {
echo ""
echo " - make-machdep [--compiler=<cc>] [--cpp-arch-flags=<flags>]"
echo " Creates a new machdep definition for a specific target."
- echo " Use $0 make-machdep --help for more information"
+ echo " Use frama-c-script make-machdep --help for more information"
echo ""
echo " - make-wrapper [target] [arg...]"
echo " Runs 'make target arg...', parsing the output to suggest"
@@ -103,7 +103,7 @@ usage() {
echo " - summary [options]"
echo " Monitors and summarizes multiple analyses dispatched by a Makefile"
echo " in the current PWD."
- echo " Use $0 summary --help for more information."
+ echo " Use frama-c-script summary --help for more information."
exit "$1"
}
--
GitLab