diff SCRIPTS/process.sh @ 125:34e428693f5d vext

Vext -> Repoint
author Chris Cannam
date Thu, 14 Jun 2018 11:15:39 +0100
parents 16b03aa90211
children
line wrap: on
line diff
--- a/SCRIPTS/process.sh	Fri Oct 06 13:30:06 2017 +0100
+++ b/SCRIPTS/process.sh	Thu Jun 14 11:15:39 2018 +0100
@@ -30,8 +30,8 @@
     exit 1
 fi
 
-# Get errors from Vext about SML implementation early
-( cd "$mydir/.." ; ./vext version >/dev/null )
+# Get errors from Repoint about SML implementation early
+( cd "$mydir/.." ; ./repoint version >/dev/null )
 
 do_rebuild=""
 do_speedy=""
@@ -192,7 +192,7 @@
 
 repodir="$mydir/../REPOS"
 
-( cd "$mydir/.." ; ./vext install )
+( cd "$mydir/.." ; ./repoint install )
 
 cd "$repodir"