diff options
| author | paltherr <paltherr@epfl.ch> | 2004-01-21 15:06:25 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2004-01-21 15:06:25 +0000 |
| commit | e0302c3f4a0ce8ccb9f3692995382e330ffd2fad (patch) | |
| tree | 3fa5c6a872d4f354dc0e216b37db765dee7f96a9 | |
| parent | 7c8f4490a35b30114da0fdfc58d3d5e2ccffaca7 (diff) | |
| download | scala-e0302c3f4a0ce8ccb9f3692995382e330ffd2fad.tar.gz scala-e0302c3f4a0ce8ccb9f3692995382e330ffd2fad.tar.bz2 scala-e0302c3f4a0ce8ccb9f3692995382e330ffd2fad.zip | |
- Added read-only flag to generated files
| -rw-r--r-- | sources/meta/GenerateAll.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sources/meta/GenerateAll.java b/sources/meta/GenerateAll.java index a75280b5dd..fe2f4a41f5 100644 --- a/sources/meta/GenerateAll.java +++ b/sources/meta/GenerateAll.java @@ -86,6 +86,7 @@ public class GenerateAll extends AbstractMain { FileWriter output = new FileWriter(target); output.write(writer.toString()); output.close(); + target.setReadOnly(); } catch (IOException exception) { throw abort(exception); } |