From bffbfb29b42b5cb1c3f70fd6a806f53e4412f78d Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sun, 12 Aug 2018 10:09:45 +0200
Subject: [PATCH] Variable may be unused.

---
 src/smpi/internals/smpi_global.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/smpi/internals/smpi_global.cpp b/src/smpi/internals/smpi_global.cpp
index 84c818a1e2..e75aef976d 100644
--- a/src/smpi/internals/smpi_global.cpp
+++ b/src/smpi/internals/smpi_global.cpp
@@ -431,8 +431,10 @@ static int smpi_run_entry_point(smpi_entry_point_type entry_point, std::vector<s
   std::vector<char*>* args4argv = new std::vector<char*>(args.size());
   std::transform(begin(args), end(args), begin(*args4argv), [](const std::string& s) { return xbt_strdup(s.c_str()); });
 
+#if !SMPI_IFORT
   // take a copy of args4argv to keep reference of the allocated strings
   const std::vector<char*> args2str(*args4argv);
+#endif
   int argc = args4argv->size();
   args4argv->push_back(nullptr);
   char** argv = args4argv->data();
-- 
2.20.1