Searched refs:script_name (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/usr/eclipseclp/ | ||
H A D | ecl_inst.js | 35 var script_name = WScript.ScriptFullName;
variable 36 ecl_home = script_name.substring(0,script_name.lastIndexOf("\\")); |
Completed in 28 milliseconds