3117                                     string elf = Path.ChangeExtension(CAFE_ELF.value, "elf");  in run()
3118                                     if (File.Exists(elf))  in run()
3120                                         DEBUG_ELF_FILE.value = elf;  in run()
4304 …static CAFEX_ERROR devrun(string elf, string MAKE_PATCH, string CAFEMAKEDLF_OPTION, string KIOSK_D…  in devrun()  argument
4314             if (elf == null)  in devrun()
4320             CAFEDEVRUN_FILE.value = elf;  in devrun()
4321             CAFEDEVRUN_EXT.value = Path.GetExtension(elf).Remove(0, 1);  in devrun()
4322 … CAFEDEVRUN_NAME.value = Path.GetDirectoryName(elf) + "\\" + Path.GetFileNameWithoutExtension(elf);  in devrun()
4323             CAFEDEVRUN_FILENAME.value = Path.GetFileNameWithoutExtension(elf);  in devrun()
4324             CAFEDEVRUN_DIR.value = Path.GetDirectoryName(elf);  in devrun()
4358             string custom_ddf = Path.ChangeExtension(elf, ".ddf");  in devrun()