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
