From 67eae5724a8e1caa36ca492ebe5f7e0d01b42ce1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Konstantin=20K=C3=A4fer?= <mail@kkaefer.com>
Date: Tue, 4 Nov 2014 06:45:06 -0800
Subject: [PATCH] use execv and pass non-inline argument for gcc

---
 test/headless.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test/headless.cpp b/test/headless.cpp
index 26aff177f..361f3a9fc 100644
--- a/test/headless.cpp
+++ b/test/headless.cpp
@@ -28,7 +28,8 @@ public:
         if (pid < 0) {
             throw std::runtime_error("Cannot create web server");
         } else if (pid == 0) {
-            int ret = execve((base_directory + "bin/server.py").c_str(), { nullptr }, { nullptr });
+            char *arg[] = { nullptr };
+            int ret = execv((base_directory + "bin/server.py").c_str(), arg);
             // This call should not return. In case execve failed, we exit anyway.
             if (ret < 0) {
                 fprintf(stderr, "Failed to start server: %s\n", strerror(errno));