commit 89edd8f3a995b47d1ae4f63639a82b00247b2b0c
author Alexander Afanasyev <aa@cs.fiu.edu> Mon Jun 01 18:58:54 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon Jun 01 18:58:54 2020 -0400
tree 66d6a7d48bd9ac237c2b9c0d7bbdcfe95bf53cb1
parent 5653b640d4c0dd360e1c283d1038791879b13944

Rename VERSION to VERSION.info to avoid conflicts with modern STL

On case-insensitive file systems (e.g., macOS), inclusion of the new
standard <version> header resulted in unexpected inclusion of VERSION
file.

Change-Id: I156cb3a49d3ee2139c1c830eaa8b20be00c3fb98

.gitignore

diff --git a/.gitignore b/.gitignore
index b1d7223..6ff803e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,4 +29,4 @@
 *.py[cod]
 
 # Other
-/VERSION
+/VERSION.info

wscript

diff --git a/wscript b/wscript
index f419f5d..648a8f8 100644
--- a/wscript
+++ b/wscript
@@ -163,7 +163,7 @@
     except (OSError, subprocess.CalledProcessError):
         pass
 
-    versionFile = ctx.path.find_node('VERSION')
+    versionFile = ctx.path.find_node('VERSION.info')
     if not gotVersionFromGit and versionFile is not None:
         try:
             Context.g_module.VERSION = versionFile.read()
@@ -180,7 +180,7 @@
         except EnvironmentError as e:
             Logs.warn('%s exists but is not readable (%s)' % (versionFile, e.strerror))
     else:
-        versionFile = ctx.path.make_node('VERSION')
+        versionFile = ctx.path.make_node('VERSION.info')
 
     try:
         versionFile.write(Context.g_module.VERSION)