From 9fb7bb8a3a2316fb447a612f1194947f9d65186c Mon Sep 17 00:00:00 2001 From: Zeno Albisser Date: Mon, 24 Nov 2014 17:42:07 +0100 Subject: Do not allow taking snapshots with setting ignorecase=true. Change-Id: Ia0cec7f1498c3459ec1d1ce6ab807994c04564e2 Reviewed-by: Andras Becsi --- tools/scripts/take_snapshot.py | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'tools/scripts') diff --git a/tools/scripts/take_snapshot.py b/tools/scripts/take_snapshot.py index 206c50ffc..3db3bac6c 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() -- cgit v1.2.3