]> AND Private Git Repository - loba.git/commitdiff
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
Use git diff instead of diff-index for setlocalversion. master
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 22 Mar 2019 09:42:42 +0000 (10:42 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 22 Mar 2019 09:42:42 +0000 (10:42 +0100)
Avoid false positives.

setlocalversion

index 221f868a6b0a4d3ec0ef606ef991eae71caf382c..30ad27c78f7b3d615ac6c352b6d11ed5730be182 100755 (executable)
@@ -14,7 +14,7 @@ compute_version()
     head=$(git rev-parse --verify --short HEAD)
     printf "~git-%s" "$head"
     # Check for uncommitted changes
     head=$(git rev-parse --verify --short HEAD)
     printf "~git-%s" "$head"
     # Check for uncommitted changes
-    if git diff-index --name-only HEAD | read dummy; then
+    if git diff --name-only HEAD | read dummy; then
         printf '%s' "-dirty"
     fi
 
         printf '%s' "-dirty"
     fi