| changeset 46007 | 493d9c4d7ed5 |
| parent 45149 | 22ff7e226946 |
| child 46108 | 1c314d838676 |
| 46006:36cd232b18bb | 46007:493d9c4d7ed5 |
|---|---|
22 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
22 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
24 |
24 |
25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" |
25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" |
26 |
26 |
27 init_component "$HOME/contrib_devel/kodkodi" |
27 #init_component "$HOME/contrib_devel/kodkodi-1.2.16" |