diff vext.sml @ 1718:434be2f0509e output-type-uri

Update vext
author Chris Cannam
date Mon, 26 Jun 2017 11:54:23 +0100
parents e64981b88943
children bf8a5ce8fb62
line wrap: on
line diff
--- a/vext.sml	Tue Jun 20 11:46:04 2017 +0100
+++ b/vext.sml	Mon Jun 26 11:54:23 2017 +0100
@@ -33,7 +33,7 @@
     Software without prior written authorization.
 *)
 
-val vext_version = "0.9.0"
+val vext_version = "0.9.1"
 
 
 datatype vcs =
@@ -1271,10 +1271,10 @@
             else 
                 case git_command_output context libname
                                         ["rev-list", "-1", id_or_tag] of
-                    ERROR e => ERROR e
-                  | OK tid =>
-                    OK (tid = id andalso
-                        tid <> id_or_tag) (* else id_or_tag was id not tag *)
+                    ERROR e => OK false (* id_or_tag is not an id or tag, but
+                                           that could just mean it hasn't been
+                                           fetched *)
+                  | OK tid => OK (tid = id)
 
     fun branch_tip context (libname, branch) =
         git_command_output context libname