deal with "could not copy file" on export to application (issue #638)

This commit is contained in:
benfry
2011-06-23 00:03:53 +00:00
parent 70cdefdc60
commit 91fa9fa6ef
2 changed files with 10 additions and 5 deletions

View File

@@ -1448,7 +1448,7 @@ public class JavaBuild {
String preprocFilename = sketch.getName() + ".java";
File preprocFile = new File(srcFolder, preprocFilename);
if (preprocFile.exists()) {
preprocFile.renameTo(new File(sourceFolder, preprocFilename));
Base.copyFile(preprocFile, new File(sourceFolder, preprocFilename));
} else {
System.err.println("Could not copy source file: " + preprocFile.getAbsolutePath());
}