Only add [modified] if tracked files have been changed.

diku-dk · Oct 4, 2017 · 2a7d824 · 2a7d824
1 parent bca7cbf
commit 2a7d824
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Futhark/Version.hs b/src/Futhark/Version.hs
@@ -30,5 +30,5 @@ versionString = showVersion version ++ "\n" ++ gitversion
                         ]
     branch | $(gitBranch) == "master" = ""
            | otherwise = $(gitBranch) ++ " @ "
-    dirty | $(gitDirty) = " [modified]"
+    dirty | $(gitDirtyTracked) = " [modified]"
           | otherwise   = ""