11462 enable smatch by default

@@ -11,10 +11,12 @@
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU General Public License for more details.
  *
  * You should have received a copy of the GNU General Public License
  * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt
+ *
+ * Copyright 2019 Joyent, Inc.
  */
 
 #ifndef         SMATCH_H_
 # define        SMATCH_H_
 

@@ -198,10 +200,11 @@
 extern struct symbol *cur_func_sym;
 extern int option_debug;
 extern int local_debug;
 extern int option_info;
 extern int option_spammy;
+extern int option_timeout;
 extern char *trace_variable;
 extern struct stree *global_states;
 int is_skipped_function(void);
 int is_silenced_function(void);