Check for errors when calling the GPU lister.

diff --git a/src/wx/grok/gpu_config_panel.h b/src/wx/grok/gpu_config_panel.h
index 1478434be01188699fa1f0cbe3418d27d927a9c2..2647c1ece60d166c83d0928faa59caaab5d5ba46 100644 (file)
--- a/src/wx/grok/gpu_config_panel.h
+++ b/src/wx/grok/gpu_config_panel.h
@@ -3,7 +3,9 @@
 static std::vector<std::string> get_gpu_names(std::string binary, std::string filename)
 {
     // Execute the GPU listing program and redirect its output to a file
-    std::system((binary + " > " +  filename).c_str());
+    if (std::system((binary + " > " +  filename).c_str()) < 0) {
+           return {};
+    }
 
     std::vector<std::string> gpu_names;
     std::ifstream file(filename);