jenkins.py: verbose makefile
Update GTest example