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));