Index: src/main.cc
===================================================================
--- src/main.cc	(revision cfc3e0facc59b4b72c5c4ade00f35a2478f94cf2)
+++ src/main.cc	(revision c5e5109b1c35d53310f804ccda60fc251d7eab1f)
@@ -10,6 +10,6 @@
 // Created On       : Fri May 15 23:12:02 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun May  6 22:25:59 2018
-// Update Count     : 491
+// Last Modified On : Mon May  7 14:35:57 2018
+// Update Count     : 492
 //
 
@@ -407,5 +407,5 @@
 	opterr = 0;											// (global) prevent getopt from printing error messages
 
-	bool Werror = false;
+	bool Wsuppress = false, Werror = false;
 	int c;
 	while ( (c = getopt_long( argc, argv, "abBcCdefgGlLmnNpqrstTvwW:yzZD:F:", long_opts, &long_index )) != -1 ) {
@@ -495,5 +495,5 @@
 			break;
 		  case 'w':
-			SemanticWarning_SuppressAll();
+			Wsuppress = true;
 			break;
 		  case 'W':
@@ -545,4 +545,7 @@
 		SemanticWarning_WarningAsError();
 	} // if
+	if ( Wsuppress ) {
+		SemanticWarning_SuppressAll();
+	} // if
 	// for ( const auto w : WarningFormats ) {
 	// 	cout << w.name << ' ' << (int)w.severity << endl;