From e1567f6b4de53e98aae5251ab6b8b4318ef5a529 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Wed, 1 Apr 2009 12:46:54 +0300 Subject: [PATCH] Add --no-implied to the help text. Signed-off-by: Dan Carpenter --- smatch.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/smatch.c b/smatch.c index d0666680..3a1d971c 100644 --- a/smatch.c +++ b/smatch.c @@ -53,8 +53,10 @@ static void help(void) printf("Usage: smatch [smatch arguments][sparse arguments] file.c\n"); printf("--debug: print lots of debug output.\n"); printf("--debug-implied: print debug output about implications.\n"); + printf("--no-implied: ignore implications.\n"); printf("--assume-loops: assume loops always go through at least once.\n"); - printf("--known-conditions: don't branch for known conditions."); + printf("--known-conditions: don't branch for known conditions.\n"); + printf("--help: print this helpfull message.\n"); exit(1); } -- 2.11.4.GIT