1 files changed, 1 insertions, 0 deletions
diff --git a/main.cxx b/main.cxx
index cdcae41a..055c56b8 100644
--- a/main.cxx
+++ b/main.cxx
@@ -379,6 +379,7 @@ main (int argc, char * const argv [])
   s.ignore_vmlinux = false;
   s.ignore_dwarf = false;
   s.load_only = false;
+  s.skip_badvars = false;
 
   const char* s_p = getenv ("SYSTEMTAP_TAPSET");
   if (s_p != NULL)