| author | Brian Frank |
| Mon Dec 21 17:36:04 2009 -0500 (8 months ago) | |
| changeset 2248 | 7f6d8fcdd568 |
| parent 2247 | a2a47b912696 |
| child 2249 | 3556bac7ddd9 |
1.1 --- a/adm/bootstrap.fan Mon Dec 21 17:00:40 2009 -0500 1.2 +++ b/adm/bootstrap.fan Mon Dec 21 17:36:04 2009 -0500 1.3 @@ -114,7 +114,7 @@ 1.4 if (relHome == devHome) 1.5 fatal("relHome == devHome") 1.6 1.7 - if (!jdkHome.exists || !jdkHome.plus(`jre/lib/rt.jar`).exists) 1.8 + if (jdkHome == null || !jdkHome.exists) 1.9 fatal("check that 'java_home' env var points to your JDK") 1.10 } 1.11