Index: src/libcfa/interpose.h
===================================================================
--- src/libcfa/interpose.h	(revision 14a61b5e0193d16a9724adf11613922ed2eeec81)
+++ 	(revision )
@@ -1,26 +1,0 @@
-//
-// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
-//
-// The contents of this file are covered under the licence agreement in the
-// file "LICENCE" distributed with Cforall.
-//
-// interpose.h --
-//
-// Author           : Thierry Delisle
-// Created On       : Wed Mar 29 15:56:41 2017
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Jul 21 22:33:02 2017
-// Update Count     : 2
-//
-
-#pragma once
-
-void * interpose_symbol( const char* symbol, const char *version );
-
-extern __typeof__( abort ) libc_abort __attribute__(( noreturn ));
-extern __typeof__( exit ) libc_abort __attribute__(( noreturn ));
-
-// Local Variables: //
-// mode: c //
-// tab-width: 4 //
-// End: //
Index: src/main.cc
===================================================================
--- src/main.cc	(revision 14a61b5e0193d16a9724adf11613922ed2eeec81)
+++ src/main.cc	(revision 5fec3f6589753dd1111fa51da42185c12bd181c3)
@@ -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;
