diff --git a/build_tools/cont_integration.sh b/build_tools/cont_integration.sh index a7a74a5f0..20e4fc15f 100755 --- a/build_tools/cont_integration.sh +++ b/build_tools/cont_integration.sh @@ -30,6 +30,9 @@ PREV_COMMIT= log "Starting to monitor for new RocksDB changes ..." log "Running under `pwd` as `whoami`." +git remote -v +git status + # Paranoia. Make sure that we're using the right branch. git checkout master