3 Commits

Author	SHA1	Message	Date
Joshua Boniface	b3fc995977	Add bad web build branch hotfix ... I hate this quick and dirty hack but it makes no sense to port to master. This fixes a bug whereby we'd build with the master Web branch on releases due to never checking out the right branch. This is already obsoleted in the master branch since #1925 already replaces this entire process for Debuntu builds, and others should be fixed with a more robust solution. That said, for the 10.4.z release chain, this ultra-quick solution fixes the problem without changing much.	2019-11-24 15:42:43 -05:00
Joshua Boniface	56a879e148	Use redirection instead of tee	2019-09-25 14:20:49 -04:00
Joshua Boniface	f36b898a4d	Port Linux build to Docker and add web build	2019-09-25 01:06:18 -04:00