diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-09-12 15:38:40 +0200 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-09-14 01:19:31 +0200 |
commit | 67ddfc05fbd9411c047892f92e7e7f9e1605946b (patch) | |
tree | 66a4d8b7465309eec8275f22406f9f34d69e37db | |
parent | e0bb198ff6097e29bbabc5728938715f9adff6a1 (diff) | |
download | manifest-67ddfc05fbd9411c047892f92e7e7f9e1605946b.tar.gz manifest-67ddfc05fbd9411c047892f92e7e7f9e1605946b.tar.bz2 manifest-67ddfc05fbd9411c047892f92e7e7f9e1605946b.zip |
scripts: generate-mirror-commands.py: temporarily skip freedesktop.org repository
It generated an entry like that:
# drm-hwcomposer/drm-hwcomposer
if [ ! -d mirrors/freesmartphone.org/drm-hwcomposer_drm-hwcomposer.git ] ; then
git clone --mirror https://gitlab.freedesktop.org/drm-hwcomposer/drm-hwcomposer mirrors/freesmartphone.org/drm-hwcomposer_drm-hwcomposer.git
else
git -C mirrors/freesmartphone.org/drm-hwcomposer_drm-hwcomposer.git fetch https://gitlab.freedesktop.org/drm-hwcomposer/drm-hwcomposer 32819fe45972e0c706423d71075788a5885f7b86
touch mirrors/freesmartphone.org/drm-hwcomposer_drm-hwcomposer.git/git-daemon-export-ok
fi
Many things are wrong here, not just the typo of
freesmartphone.org instead of freedesktop.org.
The directory name is completely wrong, the repository name
is wrong too, etc.
Probably Only the URL of the git repository is right here.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
-rwxr-xr-x | scripts/generate-mirror-commands.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/scripts/generate-mirror-commands.py b/scripts/generate-mirror-commands.py index c7987c0..0ec2151 100755 --- a/scripts/generate-mirror-commands.py +++ b/scripts/generate-mirror-commands.py @@ -106,10 +106,6 @@ class Manifest(object): 'fetch' : 'https://android.googlesource.com', 'dirname' : 'mirrors/AOSP', }, - 'freedesktop' : { - 'fetch' : 'https://gitlab.freedesktop.org', - 'dirname' : 'mirrors/freesmartphone.org', - }, } assert(given_remote.get('name') in whitelist) @@ -132,9 +128,14 @@ class Manifest(object): return False def is_revision_blacklisted(self, elm): + remote = self.get_project_property(elm, 'remote') revision = self.get_revision(elm) if revision == 'master': return True + # TODO: Add support for generating a correct dirname + # for the freedesktop mirrors + elif remote == 'freedesktop': + return True return False |