version.bash 380 B

1234567891011121314151617
  1. #!/bin/bash
  2. COMMIT_NUMBER=$(git describe --always 2> /dev/null)
  3. BRANCH_NAME=$(git rev-parse --abbrev-ref HEAD 2> /dev/null)
  4. VERSION="$BRANCH_NAME-$COMMIT_NUMBER"
  5. source=$(cat <<EOF
  6. const char git_version[] = "$VERSION";
  7. EOF
  8. ) || "WalrusRPG-undefined"
  9. echo $source | diff $1 - > /dev/null 2>&1
  10. if [[ $? -ne 0 ]]
  11. then
  12. echo "Updating version source"
  13. echo "$source" > $1
  14. fi