| 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 |