From 2ad2aef41451a2eea07a2b2989d748c19866151f Mon Sep 17 00:00:00 2001 From: MartinNowack <2443641+MartinNowack@users.noreply.github.com> Date: Mon, 5 Feb 2024 10:22:54 +0000 Subject: Mention default value in help text for `--strip-all` and `--strip-debug` Co-authored-by: Daniel Schemmel (cherry picked from commit 5d61fb6114bafbf67c59899d15e397684d4ceb28) --- lib/Module/OptimizeLegacy.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/Module/OptimizeLegacy.cpp b/lib/Module/OptimizeLegacy.cpp index 20c8ac2a..e8d2f499 100644 --- a/lib/Module/OptimizeLegacy.cpp +++ b/lib/Module/OptimizeLegacy.cpp @@ -58,12 +58,12 @@ static cl::opt VerifyEach("verify-each", cl::init(false), cl::cat(klee::ModuleCat)); static cl::opt - Strip("strip-all", cl::desc("Strip all symbol information from executable"), + Strip("strip-all", cl::desc("Strip all symbol information from executable (default=false)"), cl::init(false), cl::cat(klee::ModuleCat)); static cl::opt StripDebug("strip-debug", - cl::desc("Strip debugger symbol info from executable"), + cl::desc("Strip debugger symbol info from executable (default=false)"), cl::init(false), cl::cat(klee::ModuleCat)); // A utility function that adds a pass to the pass manager but will also add -- cgit 1.4.1