// link!!!
-
- if (!File.exists(Options.target))
+ Options.LOG.inform("Making directories");
+ if (!File.isDirectory(Options.target))
File.mkdir(Options.target);
- if (!File.exists(Options.target+"/symbols"))
+ if (!File.isDirectory(Options.target+"/symbols"))
File.mkdir(Options.target+"/symbols");
- if (!File.exists(Options.target+"/symbols/src"))
+ if (!File.isDirectory(Options.target+"/symbols/src"))
File.mkdir(Options.target+"/symbols/src");
// copy everything in 'static' into