search for: valgrind2

...s", section 4.3.2 "Using valgrind"). My goal is to be able to choose which install I launch so that I can choose among the valgrind levels with commands such as R --arch=valgrind0 -d valgrind --vanilla < myPkg.R or R --arch=valgrind1 -d valgrind --vanilla < myPkg.R or R --arch=valgrind2 -d valgrind --vanilla < myPkg.R R-2.9.1.tar.gz is unzipped to /usr/local/src/R-2.9.1 and I have tried executing (several variations of) the following code from that directory sudo ./configure --enable-memory-profiling --with-valgrind-instrumentation=2 r_arch=vg2 --with-recommended-packages=no...

...s", section 4.3.2 "Using valgrind"). My goal is to be able to choose which install I launch so that I can choose among the valgrind levels with commands such as R --arch=valgrind0 -d valgrind --vanilla < myPkg.R or R --arch=valgrind1 -d valgrind --vanilla < myPkg.R or R --arch=valgrind2 -d valgrind --vanilla < myPkg.R R-2.9.1.tar.gz is unzipped to /usr/local/src/R-2.9.1 and I have tried executing the following code from that directory sudo ./configure --enable-memory-profiling --with-valgrind-instrumentation=2 r_arch=vg2 --with-recommended-packages=no sudo make sudo make inst...