val[0].startsWith("compiler:") ||
val[0].startsWith("core:") ||
val[0].startsWith("board:") ||
val[0].startsWith("merged:")
) {
<BUG>System.err.println("Script key value: " + val[0]);</BUG>
String script = getResource(val[0]);
<BUG>System.err.println("Script: " + script);</BUG>
String function = val[1];
String[] args = Arrays.copyOfRange(val, 2, val.length);

val[0].startsWith("compiler:") ||
val[0].startsWith("core:") ||
val[0].startsWith("board:") ||
val[0].startsWith("merged:")
) {
String script = getResource(val[0]);
String function = val[1];
String[] args = Arrays.copyOfRange(val, 2, val.length);
