Use 9 digit build IDs

2019-06-12 15:16:17 +01:00
parent 01ced20eca
commit 1dc4ebfd6c
4 changed files with 5 additions and 1 deletions
@@ -77,6 +77,7 @@ script: |
  create_per-host_faketime_wrappers "2000-01-01 12:00:00"
  export PATH=${WRAP_DIR}:${PATH}

+  git config --global core.abbrev 9
  cd monero
  BASEPREFIX=`pwd`/contrib/depends