7 Commits (10a4d5aa8a3e0c6c9a347cece2b74d8054a28e51)

Author	SHA1	Message	Date
Roy Lenferink	6df3deb4bc	Bash script syntax improvements	2019-01-19 13:58:58 +01:00
Matthias Bertschy	9b15af19b2	Update all script to use /usr/bin/env bash in shebang	2018-04-19 13:20:13 +02:00
Christoph Blecker	4fb2265bd8	Don't go get godep in jenkins scripts	2018-01-30 07:42:58 -08:00
Maciej Szulik	2a2b46a105	Fix make verify	2016-07-25 15:34:00 +02:00
Tim Hockin	faeef5c4ae	Use make as the main build tool ... This allows us to start building real dependencies into Makefile. Leave old hack/* scripts in place but advise to use 'make'. There are a few rules that call things like 'go run' or 'build/*' that I left as-is for now.	2016-07-12 21:52:00 -07:00
David McMahon	ef0c9f0c5b	Remove "All rights reserved" from all the headers.	2016-06-29 17:47:36 -07:00
Jeff Grafton	1016b493df	Add Jenkins shell script to setup and run verification tests	2015-10-19 14:42:42 -07:00