Mercurial > hg > sonic-visualiser
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