try {
if (sd.getSection("fpga")==null) return;
String filename = sd.getName().toLowerCase();
- File outf = new File("src/edu/berkeley/fleet/slipway/"+filename+".v");
+ File outf = new File("build/fpga/"+filename+".v");
new File(outf.getParent()).mkdirs();
System.err.println("writing to " + outf);
FileOutputStream out = new FileOutputStream(outf);