From a253ceb33bb530aa10995d16e45e45cc074cbfee Mon Sep 17 00:00:00 2001 From: Henry Date: Tue, 19 May 2015 14:21:25 +0100 Subject: [PATCH] scotch: upgrade to 6.0.3 --- etc/config/scotch.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/config/scotch.sh b/etc/config/scotch.sh index 1ee06e80..54d9578f 100644 --- a/etc/config/scotch.sh +++ b/etc/config/scotch.sh @@ -33,7 +33,7 @@ # during the wmake process #------------------------------------------------------------------------------ -export SCOTCH_VERSION=scotch_6.0.0 +export SCOTCH_VERSION=scotch_6.0.3 export SCOTCH_ARCH_PATH=$WM_THIRD_PARTY_DIR/platforms/$WM_ARCH$WM_COMPILER/$SCOTCH_VERSION # -----------------------------------------------------------------------------