From 6da16aa23538d7d35ec0f0cf24465474537d74fa Mon Sep 17 00:00:00 2001 From: Sebastian Schmelzer Date: Thu, 12 May 2011 18:52:30 +0200 Subject: make --pvs option configurable via vmchooser.conf --- src/globals.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/globals.h') diff --git a/src/globals.h b/src/globals.h index b36c959..d46db63 100644 --- a/src/globals.h +++ b/src/globals.h @@ -17,6 +17,7 @@ class QString; extern bool debugMode; +extern bool pvsEnabled; extern QString binPath; extern QString etcPath; -- cgit v1.2.3-55-g7522