Prevent fetch_sources.py from slaying the main repo
authorSlawomir Cygan <slawomir.cygan@intel.com>
Tue, 18 Jun 2019 15:23:26 +0000 (17:23 +0200)
committerAlexander Galazin <Alexander.Galazin@arm.com>
Mon, 24 Jun 2019 10:41:24 +0000 (06:41 -0400)
commit7f20486735b3535e8671ffb896bfb4646e158935
tree894595cde27da16b8e6fe98b05cd1792c578259c
parent15da935e4324de4ac4e419c033b800fa82cd50b8
Prevent fetch_sources.py from slaying the main repo

This fixes the unlikely case, when external/src/<foo>/.git folders
are missing, but <foo> folders somehow do exist.

Without this change fetch_sources.py would assume the <foo> folder
is a proper git checkout and just emit git commands in it - destroying
the main dEQP repository.

Instead, the git clone would just abort now.

Components: Framework

Change-Id: I226cd9e0771480f73fcf323b5e5f7313bc81fa8e
external/fetch_sources.py