diff options
| author | Zeno Albisser <zeno.albisser@digia.com> | 2014-11-24 17:42:07 +0100 |
|---|---|---|
| committer | Zeno Albisser <zeno.albisser@digia.com> | 2014-12-03 14:02:09 +0100 |
| commit | 9fb7bb8a3a2316fb447a612f1194947f9d65186c (patch) | |
| tree | fd82eaacdfaafc08f01d41090342afefb112f892 | |
| parent | 3992b1a5f352e543dcf2b090080adeccdd3cb0d8 (diff) | |
Do not allow taking snapshots with setting ignorecase=true.
Change-Id: Ia0cec7f1498c3459ec1d1ce6ab807994c04564e2
Reviewed-by: Andras Becsi <andras.becsi@theqtcompany.com>
| -rwxr-xr-x | tools/scripts/take_snapshot.py | 6 |
1 files changed, 6 insertions, 0 deletions
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() |