From 8e1a54621f88bc220ac8b6657f66713b2b9afc76 Mon Sep 17 00:00:00 2001
From: RichardHaselgrove <r.haselgrove@btinternet.com>
Date: Mon, 11 Sep 2017 14:58:47 +0100
Subject: [PATCH] client library: inconsistent terminology for intel_gpu

fixes presenting problem in #2103
---
 lib/cc_config.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/cc_config.cpp b/lib/cc_config.cpp
index 2f24d87604..04e0672d53 100644
--- a/lib/cc_config.cpp
+++ b/lib/cc_config.cpp
@@ -399,7 +399,7 @@ int CC_CONFIG::parse_options(XML_PARSER& xp) {
             ignore_gpu_instance[PROC_TYPE_AMD_GPU].push_back(n);
             continue;
         }
-        if (xp.parse_int("ignore_intel_gpu_dev", n)) {
+        if (xp.parse_int("ignore_intel_dev", n)) {
             ignore_gpu_instance[PROC_TYPE_INTEL_GPU].push_back(n);
             continue;
         }
@@ -625,7 +625,7 @@ int CC_CONFIG::write(MIOFILE& out, LOG_FLAGS& log_flags) {
 
     for (i=0; i<ignore_gpu_instance[PROC_TYPE_INTEL_GPU].size(); ++i) {
         out.printf(
-            "        <ignore_intel_gpu_dev>%d</ignore_intel_gpu_dev>\n",
+            "        <ignore_intel_dev>%d</ignore_intel_dev>\n",
             ignore_gpu_instance[PROC_TYPE_INTEL_GPU][i]
         );
     }