Reduce github log pollution
* Disable warnings in harfbuzz and sheenbidi
* Don't print harfbuzz/sheedbidi download progress on github runners
Diffs=
c0c8a45ae Reduce github log pollution (#5011)
diff --git a/.rive_head b/.rive_head
index 650aae3..2e9b29e 100644
--- a/.rive_head
+++ b/.rive_head
@@ -1 +1 @@
-ccab8df36a4c97eca3dbb278d5276c7828d0d58f
+c0c8a45ae1cda84a64d0791a52f9c7ebbfceab7e
diff --git a/build/dependency.lua b/build/dependency.lua
index 0fb1c17..a3093bc 100644
--- a/build/dependency.lua
+++ b/build/dependency.lua
@@ -37,7 +37,9 @@
http.download(
'https://github.com/' .. project .. '/archive/' .. tag .. '.zip',
downloadFilename,
- {progress = not _OPTIONS['no-download-progress'] and progress}
+ -- Download progress explodes the github logs with megabytes of text.
+ -- github runners have a "CI" environment variable.
+ {progress = not _OPTIONS['no-download-progress'] and os.getenv('CI' ) ~= "true" and progress}
)
print('Downloaded ' .. project .. '.')
zip.extract(downloadFilename, dependencies .. '/' .. hash)
diff --git a/dependencies/premake5_harfbuzz.lua b/dependencies/premake5_harfbuzz.lua
index 5c883bc..9140e67 100644
--- a/dependencies/premake5_harfbuzz.lua
+++ b/dependencies/premake5_harfbuzz.lua
@@ -225,6 +225,8 @@
exceptionhandling 'off'
rtti 'off'
+ warnings 'Off'
+
defines {
'HAVE_OT',
'HB_NO_FALLBACK_SHAPE',
diff --git a/dependencies/premake5_sheenbidi.lua b/dependencies/premake5_sheenbidi.lua
index 9fd4e22..02de111 100644
--- a/dependencies/premake5_sheenbidi.lua
+++ b/dependencies/premake5_sheenbidi.lua
@@ -10,6 +10,7 @@
language 'C'
targetdir '%{cfg.system}/cache/bin/%{cfg.buildcfg}/'
objdir '%{cfg.system}/cache/obj/%{cfg.buildcfg}/'
+ warnings 'Off'
includedirs {
sheenbidi .. '/Headers'
