changeset 76548 | 0af64cc2eee9 |
parent 76547 | 9fe5d8c70352 |
child 77510 | f5d6cd98b16a |
76547:9fe5d8c70352 | 76548:0af64cc2eee9 |
---|---|
66 } |
66 } |
67 |
67 |
68 |
68 |
69 /* settings */ |
69 /* settings */ |
70 |
70 |
71 File.write(component_dir.settings, |
71 component_dir.write_settings(""" |
72 """# -*- shell-script -*- :mode=shellscript: |
|
73 |
|
74 ZIPPERPOSITION_HOME="$COMPONENT/$ISABELLE_PLATFORM64" |
72 ZIPPERPOSITION_HOME="$COMPONENT/$ISABELLE_PLATFORM64" |
75 """) |
73 """) |
76 |
74 |
77 |
75 |
78 /* README */ |
76 /* README */ |