diff --git a/.travis.yml b/.travis.yml deleted file mode 100644 index 2d023c0e..00000000 --- a/.travis.yml +++ /dev/null @@ -1,11 +0,0 @@ -language: cpp -compiler: - - clang -before_script: - - sudo apt-get update -qq - - sudo apt-get install -y g++-multilib libc6-dev-i386 lib32stdc++6 lib32z1-dev - - CHECKOUT_DIR=$PWD && cd .. && $CHECKOUT_DIR/support/checkout-deps.sh && cd $CHECKOUT_DIR -script: - - mkdir build && cd build - - python ../configure.py --enable-optimize - - ambuild diff --git a/support/Versioning b/support/Versioning index 32cc21e4..ea01a5df 100644 --- a/support/Versioning +++ b/support/Versioning @@ -1,6 +1,5 @@ # vim: set ts=8 sts=2 sw=2 tw=99 et ft=python: import os, sys -import re builder.SetBuildFolder('/') @@ -18,19 +17,16 @@ outputs = [ ] with open(os.path.join(builder.sourcePath, '.git', 'HEAD')) as fp: - head_contents = fp.read().strip() - if re.search('^[a-fA-F0-9]{40}$', head_contents): - git_head_path = os.path.join(builder.sourcePath, '.git', 'HEAD') - else: - git_state = fp.read().strip().split(':')[1].strip() - git_head_path = os.path.join(builder.sourcePath, '.git', git_state) - if not os.path.exists(git_head_path): - git_head_path = os.path.join(builder.sourcePath, '.git', 'HEAD') + git_state = fp.read().strip().split(':')[1].strip() + +git_head_path = os.path.join(builder.sourcePath, '.git', git_state) +if not os.path.exists(git_head_path): + git_head_path = os.path.join(builder.sourcePath, '.git', 'HEAD') sources = [ os.path.join(builder.sourcePath, 'product.version'), - # This is a hack, but we need some way to only run this script when Git changes. + # This is a hack, but we need some way to only run this script when HG changes. git_head_path, # The script source is a dependency, of course...