6 commits

Author	SHA1	Message	Date
Joshua Boniface	56a879e148	Use redirection instead of tee	2019-09-25 14:20:49 -04:00
Joshua Boniface	4b257b7b4a	Clean up web_build_dir in docker-build.sh	2019-09-25 01:36:20 -04:00
Joshua Boniface	f36b898a4d	Port Linux build to Docker and add web build	2019-09-25 01:06:18 -04:00
Joshua Boniface	3320d4feeb	Move dotnet to a per-platform dependency	2019-01-20 12:34:52 -05:00
Erwin de Haan	74507099ad	Added git submodules command. Converted RPM to build from local tree. Added all the execution bits to the build scripts.	2019-01-12 01:49:46 +01:00
Erwin de Haan	399a079dd4	Build scripts and build system consolidation. ... Squashed commit.	2019-01-10 19:45:30 +01:00