|
From: Nicholas N. <nj...@cs...> - 2005-06-12 17:46:05
|
Hi, I'm looking at the $VALGRINDLIB environment variable. It's related to VG_(libdir), which says where Valgrind's library files are. Basically, VG_(libdir) defaults to VG_LIBDIR (which is passed in from coregrind/Makefile.am), but it is overriden by $VALGRINDLIB if $VALGRINDLIB is set. The same is true in stage1, except this time the libdir variable is called "valgrind_lib". My question is: is the $VALGRINDLIB environment variable ever actually used to change the libdir to something other than the default? Could we safely kill it?? Thanks. N |