diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2016-02-25 14:01:13 +0000 |
---|---|---|
committer | João Valverde <j@v6e.pt> | 2016-02-25 14:17:43 +0000 |
commit | c51d8595511f9fc4f04eb5d58efa1fe52e1b30f5 (patch) | |
tree | bd22d87180e7b3b19881bbfd0f87d8cfaf6d276a /tools | |
parent | a376915fdde1db06bd52b30f18bf9acf8d7bb084 (diff) |
pre-commit: Use uname -a instead.
Not all shells support uname -o.
Change-Id: Ia6f46f3580f6d7b421da672418dcbee38ad9e60b
Reviewed-on: https://code.wireshark.org/review/14143
Reviewed-by: João Valverde <j@v6e.pt>
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/pre-commit | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/pre-commit b/tools/pre-commit index 14f3cd2156..c2ca5cd7c5 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -19,10 +19,10 @@ # If the commit identifier is not given, use HEAD instead. COMMIT_ID="${1:-HEAD}" -UNAME=`uname -o` +UNAME=`uname -a` case "$UNAME" in - Msys) + *\ Msys) pyvar="pythonw.exe" ;; *) |