Merge pull request #18 from Progmasoft/build/catch3-identity

Give Catch3 its own build names and headers

1 files changed, 7 insertions, 0 deletions

diff --git a/tools/scripts/scriptCommon.py b/tools/scripts/scriptCommon.py
index 5894185d..f64ef01d 100644
--- a/tools/scripts/scriptCommon.py
+++ b/tools/scripts/scriptCommon.py
@@ -2,3 +2,10 @@ import os
 import sys
 
 catchPath = os.path.dirname(os.path.dirname(os.path.realpath( os.path.dirname(sys.argv[0]))))
+
+
+def upstreamFiles():
+    """The files below src/Progmasoft that come from Catch2, relative to the
+    repository with forward slashes; see upstreamFiles.txt."""
+    with open(os.path.join(catchPath, 'tools', 'scripts', 'upstreamFiles.txt'), encoding='utf-8') as listing:
+        return {line.strip() for line in listing if line.strip() and not line.startswith('#')}