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'