ENV_VAR_ALLOC_PLUGIN  133 constants.h        ENV_VAR_ALLOC_PLUGIN,\
ENV_VAR_ALLOC_PLUGIN  300 dmtcp_launch.cpp       setenv(ENV_VAR_ALLOC_PLUGIN, "0", 1);
ENV_VAR_ALLOC_PLUGIN  680 dmtcp_launch.cpp   if (getenv(ENV_VAR_ALLOC_PLUGIN) != NULL){
ENV_VAR_ALLOC_PLUGIN  681 dmtcp_launch.cpp     const char *ptr = getenv(ENV_VAR_ALLOC_PLUGIN);
ENV_VAR_ALLOC_PLUGIN  687 dmtcp_launch.cpp       JASSERT(false) (getenv(ENV_VAR_ALLOC_PLUGIN))
ENV_VAR_ALLOC_PLUGIN  614 util_exec.cpp    const char * allocPlugin          = getenv (ENV_VAR_ALLOC_PLUGIN);