if ("@DEBUGINFOD_URLS@" != "") then
	if ($?DEBUGINFOD_URLS) then
		if ($%DEBUGINFOD_URLS) then
			setenv DEBUGINFOD_URLS "$DEBUGINFOD_URLS @DEBUGINFOD_URLS@"
		else
			setenv DEBUGINFOD_URLS "@DEBUGINFOD_URLS@"
		endif
	else
		setenv DEBUGINFOD_URLS "@DEBUGINFOD_URLS@"
	endif
endif