all-tests to properly add '-pending' when needed
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 3 Nov 2015 15:55:21 +0000 (16:55 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 3 Nov 2015 15:55:21 +0000 (16:55 +0100)
all-tests

index a9fc3c6..419614a 100755 (executable)
--- a/all-tests
+++ b/all-tests
@@ -14,8 +14,9 @@ output="all-tests.$hash"
 
 # if there is any pending change, use another name
 is_pristine=""
-git diff HEAD | cmp --quiet - /dev/zero && is_pristine=true
-[ -n "is_pristine" ] || output="$output-pending"
+changes=$(git diff HEAD | wc -l); changes=$(echo $changes)
+[ "$changes" == 0 ] && is_pristine=true
+[ -n "$is_pristine" ] || output="$output-pending"
 
 function all_tests () {
     echo all-tests : begin at; date