mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-26 03:31:05 +00:00
091946a478
Main differences with previous setup are: - No manifest creation - gst-indent is executed only when the bot is assigned (instead of the manifest task) - Cerbero jobs are triggered in the cerbero repo - Remove cerbero and android related files as they now are in cerbero itself. - Update `container.ps1` to the new file layout Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/891>
20 lines
No EOL
823 B
Python
Executable file
20 lines
No EOL
823 B
Python
Executable file
#!/usr/bin/python3
|
|
import os, subprocess, sys
|
|
|
|
if __name__ == "__main__":
|
|
diffsdir = '../plugins-cache-diffs'
|
|
os.makedirs(diffsdir, exist_ok=True)
|
|
res = 0
|
|
try:
|
|
subprocess.check_call(['git', 'diff', '--quiet'] )
|
|
except subprocess.CalledProcessError:
|
|
diffname = os.path.join(diffsdir, 'plugins_cache.diff')
|
|
res += 1
|
|
with open(diffname, 'w') as diff:
|
|
subprocess.check_call(['git', 'diff'], stdout=diff)
|
|
print('\033[91mYou have a diff in the documentation cache. Please update with:\033[0m')
|
|
print(' $ curl %s/%s | git apply -' % (os.environ['CI_ARTIFACTS_URL'], diffname.replace('../', '')))
|
|
|
|
if res != 0:
|
|
print('(note that it might take a few minutes for artefacts to be available on the server)\n')
|
|
sys.exit(res) |