| changeset 76548 | 0af64cc2eee9 |
| parent 76547 | 9fe5d8c70352 |
| child 77035 | 28ac56e59d23 |
| 76547:9fe5d8c70352 | 76548:0af64cc2eee9 |
|---|---|
79 """ + Date.Format.date(Date.now()) + "\n") |
79 """ + Date.Format.date(Date.now()) + "\n") |
80 |
80 |
81 |
81 |
82 /* settings */ |
82 /* settings */ |
83 |
83 |
84 File.write(component_dir.settings, |
84 component_dir.write_settings(""" |
85 """# -*- shell-script -*- :mode=shellscript: |
|
86 |
|
87 classpath "$COMPONENT/""" + download_name + """.jar" |
85 classpath "$COMPONENT/""" + download_name + """.jar" |
88 """) |
86 """) |
89 |
87 |
90 |
88 |
91 /* jar */ |
89 /* jar */ |