From 1ae18e1909f3af1067c9f8ec7a4e6b7379997099 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 30 Mar 2018 14:23:32 +0200
Subject: [PATCH 1/1] smpirun: really disable privatization with -no-privatize.

---
 src/smpi/smpirun.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smpi/smpirun.in b/src/smpi/smpirun.in
index a3ce85809a..b8daa19e35 100755
--- a/src/smpi/smpirun.in
+++ b/src/smpi/smpirun.in
@@ -158,7 +158,7 @@ while true; do
             shift 2
             ;;
 	"-no-privatize")
-	    PRIVATIZE=""
+	    PRIVATIZE="--cfg=smpi/privatization:no"
 	    shift 1
 	    ;;
         "-map")
-- 
2.20.1