rocksdb/build_tools
Igor Canadi 26bc40a89a Fixing git branch detection in Jenkins
Branch detection did not work in Jenkins. I realized that it set
GIT_BRANCH env variable to point to the current branch, so let's try
using this for branch detection.
2013-12-09 10:36:39 -08:00
..
2013-11-25 21:21:01 -08:00
2013-11-20 01:17:44 -08:00
2013-11-18 21:33:16 -08:00