| changeset 15881 | dcce46230131 |
| parent 15880 | d6aa6c707acf |
| child 15982 | 9d7f3db40b88 |
| 15880:d6aa6c707acf | 15881:dcce46230131 |
|---|---|
58 #ML_PLATFORM="" |
58 #ML_PLATFORM="" |
59 #ML_OPTIONS="" |
59 #ML_OPTIONS="" |
60 |
60 |
61 |
61 |
62 ### |
62 ### |
63 ### Compilation options for isatool usedir[B |
63 ### Compilation options for isatool usedir |
64 ### (as on command line) |
64 ### (as on command line) |
65 ### |
65 ### |
66 |
66 |
67 ISABELLE_USEDIR_OPTIONS="-v true" |
67 ISABELLE_USEDIR_OPTIONS="-v true" |
68 |
68 |