From 7a9d4b820f32993f66ecd64eb37cc116847e59b0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Wed, 9 Aug 2017 11:06:31 +0200
Subject: [PATCH] Fixed #8158 (Custom platform configuration seems to be not
 used)

---
 lib/platform.cpp | 2 ++
 lib/platform.h   | 5 ++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/lib/platform.cpp b/lib/platform.cpp
index 098aae737..3221f1f2a 100644
--- a/lib/platform.cpp
+++ b/lib/platform.cpp
@@ -220,5 +220,7 @@ bool cppcheck::Platform::platformFile(const std::string &filename)
     long_bit = char_bit * sizeof_long;
     long_long_bit = char_bit * sizeof_long_long;
 
+    platformType = PlatformFile;
+
     return true;
 }
diff --git a/lib/platform.h b/lib/platform.h
index 31e07271c..ec5768f20 100644
--- a/lib/platform.h
+++ b/lib/platform.h
@@ -87,7 +87,8 @@ namespace cppcheck {
             Win64,
             Unix32,
             Unix64,
-            AVR8
+            AVR8,
+            PlatformFile
         };
 
         /** platform type */
@@ -127,6 +128,8 @@ namespace cppcheck {
                 return "unix64";
             case AVR8:
                 return "avr8";
+            case PlatformFile:
+                return "platformFile";
             default:
                 return "unknown";
             }