ENV_VAR_DL_PLUGIN  134 constants.h        ENV_VAR_DL_PLUGIN,\
ENV_VAR_DL_PLUGIN  303 dmtcp_launch.cpp       setenv(ENV_VAR_DL_PLUGIN, "0", 1);
ENV_VAR_DL_PLUGIN  693 dmtcp_launch.cpp   if (getenv(ENV_VAR_DL_PLUGIN) != NULL){
ENV_VAR_DL_PLUGIN  694 dmtcp_launch.cpp     const char *ptr = getenv(ENV_VAR_DL_PLUGIN);
ENV_VAR_DL_PLUGIN  700 dmtcp_launch.cpp       JASSERT(false) (getenv(ENV_VAR_DL_PLUGIN))
ENV_VAR_DL_PLUGIN  615 util_exec.cpp    const char * dlPlugin             = getenv (ENV_VAR_DL_PLUGIN);