Index: /issm/trunk/externalpackages/valgrind/configs/macmathieu/configure.sh
===================================================================
--- /issm/trunk/externalpackages/valgrind/configs/macmathieu/configure.sh	(revision 8188)
+++ /issm/trunk/externalpackages/valgrind/configs/macmathieu/configure.sh	(revision 8189)
@@ -1,2 +1,2 @@
 #!/bin/bash
-./configure  --prefix="$ISSM_TIER/externalpackages/valgrind/install" 
+./configure  --prefix="$ISSM_TIER/externalpackages/valgrind/install" --enable-only32bit
Index: /issm/trunk/externalpackages/valgrind/install.sh
===================================================================
--- /issm/trunk/externalpackages/valgrind/install.sh	(revision 8188)
+++ /issm/trunk/externalpackages/valgrind/install.sh	(revision 8189)
@@ -2,9 +2,8 @@
 
 #Get number of cpus on current platform
-NUMCPUS=`grep -c processor /proc/cpuinfo`;
+NUMCPUS=4
 
 #version of valgrind
 version=`echo *.tar.bz2 | sed 's/\.tar\.bz2//g' | sed 's/valgrind-//g'`
-echo $version
 
 #Some cleanup