config_query  VALGRIND_SVN  "Use SVN version?"  n
if [ "$VALGRIND_SVN" == "y" ]; then
  config_query  VALGRIND_SVN_AUTOUPDATE  \
                "Update to the latest SVN on every cast?"  \
                n
fi
