| Dave Hylands | bf7d690 | 2014-04-03 16:32:58 -0700 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | |
| 3 | git_hash="$(git rev-parse --short HEAD 2> /dev/null || echo unknown)" |
| 4 | git_files_are_clean=1 |
| 5 | # Check if there are any modified files. |
| 6 | git diff --no-ext-diff --quiet --exit-code 2> /dev/null || git_files_are_clean=0 |
| 7 | # Check if there are any staged files. |
| 8 | git diff-index --cached --quiet HEAD -- 2> /dev/null || git_files_are_clean=0 |
| 9 | if [ "${git_files_are_clean}" != "1" ]; then |
| 10 | git_hash="${git_hash}-dirty" |
| 11 | fi |
| 12 | cat <<EOF |
| 13 | // This file was generated by py/py-version.sh |
| 14 | #define MICROPY_GIT_HASH "${git_hash}" |
| 15 | #define MICROPY_BUILD_DATE "$(date '+%Y-%m-%d')" |
| 16 | EOF |