From 578ac0515426ca56708c3e253323644aa9f44139 Mon Sep 17 00:00:00 2001
From: "Meredith L. Patterson" <mlp@thesmartpolitenerd.com>
Date: Sat, 3 Oct 2015 14:32:54 +0200
Subject: [PATCH] add platform.h to distribution headers

---
 src/SConscript | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/SConscript b/src/SConscript
index 05ffa983..0351e1ba 100644
--- a/src/SConscript
+++ b/src/SConscript
@@ -7,7 +7,8 @@ dist_headers = [
     "allocator.h",
     "compiler_specifics.h",
     "glue.h",
-    "internal.h"
+    "internal.h",
+    "platform.h"
 ]
 
 parsers_headers = [
-- 
GitLab