1 From 86d6687ef07f7f05457a7f67537b650656b13820 Mon Sep 17 00:00:00 2001
2 From: =?UTF-8?q?Robert=20M=C3=BCller?= <robert.mueller@uni-siegen.de>
3 Date: Fri, 15 Oct 2021 23:45:50 +0200
4 Subject: [PATCH] rename VERSION to VERSION.txt:
6 Fixes compilation on systems with case insensitive file names where the standard library includes the version file source code.
8 src/engine/external/json-parser/{VERSION => VERSION.txt} | 0
9 src/engine/external/pnglite/{VERSION => VERSION.txt} | 0
10 src/engine/external/wavpack/{VERSION => VERSION.txt} | 0
11 src/engine/external/zlib/{VERSION => VERSION.txt} | 0
12 4 files changed, 0 insertions(+), 0 deletions(-)
13 rename src/engine/external/json-parser/{VERSION => VERSION.txt} (100%)
14 rename src/engine/external/pnglite/{VERSION => VERSION.txt} (100%)
15 rename src/engine/external/wavpack/{VERSION => VERSION.txt} (100%)
16 rename src/engine/external/zlib/{VERSION => VERSION.txt} (100%)
18 diff --git a/src/engine/external/json-parser/VERSION b/src/engine/external/json-parser/VERSION.txt
20 rename from src/engine/external/json-parser/VERSION
21 rename to src/engine/external/json-parser/VERSION.txt
22 diff --git a/src/engine/external/pnglite/VERSION b/src/engine/external/pnglite/VERSION.txt
24 rename from src/engine/external/pnglite/VERSION
25 rename to src/engine/external/pnglite/VERSION.txt
26 diff --git a/src/engine/external/wavpack/VERSION b/src/engine/external/wavpack/VERSION.txt
28 rename from src/engine/external/wavpack/VERSION
29 rename to src/engine/external/wavpack/VERSION.txt
30 diff --git a/src/engine/external/zlib/VERSION b/src/engine/external/zlib/VERSION.txt
32 rename from src/engine/external/zlib/VERSION
33 rename to src/engine/external/zlib/VERSION.txt