Support for generic build servers, improved scripting support#1451

Merged

asbjornu merged 7 commits intoGitTools:masterfrom

GriffinPlus:master

Feb 15, 2019

Commits on Aug 7, 2018

Added support for 'EnvRun' tool as build server.

ravenpride
authored and
Sascha Falk
committed

Commits on Aug 24, 2018

Merge branch 'master' into master
ravenpride
authored

Commits on Sep 5, 2018

Merge branch 'master' into master
ravenpride
authored

Commits on Jan 16, 2019

Merge branch 'master' into master
ravenpride
authored

Commits on Jan 25, 2019

Merge branch 'master' into master
ravenpride
authored

Commits on Feb 15, 2019