aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/pre-process.c
diff options
authorLinus Torvalds <torvalds@home.transmeta.com>2003-06-10 17:03:25 -0700
committerLinus Torvalds <torvalds@ppc970.osdl.org>2005-04-07 21:00:52 -0700
commit42ebe65d4fbf4e99f1c3525d06b3244310f20f62 (patch)
treeffedf10012ac1c2c4a2062bd2908163ab82d7bbe /pre-process.c
parent33d6edbdc44d3cc088f59f6fd2440fd601d56e84 (diff)
downloadsparse-dev-42ebe65d4fbf4e99f1c3525d06b3244310f20f62.tar.gz
Add "-v" flag for verbose mode.
Warn about internal "not implemented yet" kinds of things only when verbose. These warnings have nothing to do with the sources we're checking, they're only good for pointing out limitations of sparse itself.
Diffstat (limited to 'pre-process.c')
-rw-r--r--pre-process.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/pre-process.c b/pre-process.c
index 5bbe32cc..c39d9965 100644
--- a/pre-process.c
+++ b/pre-process.c
@@ -25,6 +25,7 @@
#include "symbol.h"
#include "expression.h"
+int verbose = 0;
int preprocessing = 0;
#define MAXNEST (16)