summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorZeno Albisser <zeno.albisser@digia.com>2014-11-24 17:42:07 +0100
committerZeno Albisser <zeno.albisser@digia.com>2014-12-03 14:02:09 +0100
commit9fb7bb8a3a2316fb447a612f1194947f9d65186c (patch)
treefd82eaacdfaafc08f01d41090342afefb112f892
parent3992b1a5f352e543dcf2b090080adeccdd3cb0d8 (diff)
Do not allow taking snapshots with setting ignorecase=true.
Change-Id: Ia0cec7f1498c3459ec1d1ce6ab807994c04564e2 Reviewed-by: Andras Becsi <andras.becsi@theqtcompany.com>
-rwxr-xr-xtools/scripts/take_snapshot.py6
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/scripts/take_snapshot.py b/tools/scripts/take_snapshot.py
index 206c50ff..3db3bac6 100755
--- a/tools/scripts/take_snapshot.py
+++ b/tools/scripts/take_snapshot.py
@@ -313,6 +313,12 @@ if not commandNotFound:
if commandNotFound or dos2unixVersion < StrictVersion('6.0.6'):
raise Exception("You need dos2unix version 6.0.6 minimum.")
+os.chdir(third_party)
+ignore_case_setting = subprocess.Popen(['git', 'config', '--get', 'core.ignorecase'], stdout=subprocess.PIPE).communicate()[0]
+if 'true' in ignore_case_setting:
+ raise Exception("Your 3rdparty repository is configured to ignore case. "
+ "A snapshot created with these settings would cause problems on case sensitive file systems.")
+
clearDirectory(third_party)
exportNinja()