| changeset 15880 | d6aa6c707acf |
| parent 15865 | 222092a48131 |
| child 15881 | dcce46230131 |
| 15879:a83b9dc6151a | 15880:d6aa6c707acf |
|---|---|
58 #ML_PLATFORM="" |
58 #ML_PLATFORM="" |
59 #ML_OPTIONS="" |
59 #ML_OPTIONS="" |
60 |
60 |
61 |
61 |
62 ### |
62 ### |
63 ### Compilation options for isatool usedir |
63 ### Compilation options for isatool usedir[B |
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 |