diff options
| -rwxr-xr-x | scripts/pre-commit.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/pre-commit.sh b/scripts/pre-commit.sh index bc7fb6e..2ea61c9 100755 --- a/scripts/pre-commit.sh +++ b/scripts/pre-commit.sh @@ -2,6 +2,14 @@ set -e +uuid() { + if which uuid >/dev/null 2>&1 ; then + uuid + else + uuidgen + fi +} + if git rev-parse --verify HEAD >/dev/null 2>&1 then base=HEAD |