Mercurial > hg > tony

diff repoint @ 540:f55363ecc57d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update subrepos, build etc to match current SV code
author Chris Cannam
date Tue, 12 Feb 2019 15:02:50 +0000
parents 12d36dcfbbfb
children
line wrap: on
line diff
--- a/repoint	Fri Sep 14 15:15:41 2018 +0100
+++ b/repoint	Tue Feb 12 15:02:50 2019 +0000
@@ -58,7 +58,7 @@
     # That is fixed in v5.7.1, so we could promote it up the order
     # again at some point in future
     elif echo | poly -v 2>/dev/null | grep -q 'Poly/ML'; then
-	sml="poly"
+	sml="polyml"
     elif mlton 2>&1 | grep -q 'MLton'; then
 	sml="mlton"
     # MLKit is at the bottom because it leaves compiled files around
@@ -109,7 +109,7 @@
 done
 
 case "$sml" in
-    poly)
+    polyml)
         if [ -n "$local_install" ] && polyc --help >/dev/null 2>&1 ; then
             if [ ! -x "$gen_out" ]; then
                 polyc -o "$gen_out" "$program"