Itms c9d9b7be83 macOS build fixes and Jenkins pipelines. ...

This includes:
- some build fixes
- Jenkins pipelines, in use since January
- a revamped DMG build script, including dmgbuild configuration by Tobbi
and a tweak by norsnor (D2650)

Differential Revision: https://code.wildfiregames.com/D2523
This was SVN commit r23676.

2020-05-17 14:12:53 +00:00

..

clean-workspaces.sh

…

update-workspaces.bat

…

update-workspaces.sh

Allow using system premake5 (with the flag --with-system-premake5) when running update-workspaces.sh, refs #1518.

2020-05-17 11:41:58 +00:00