Modified: trunk/dports/www/mod_jk/Portfile (76627 => 76628)
--- trunk/dports/www/mod_jk/Portfile 2011-03-03 03:26:36 UTC (rev 76627)
+++ trunk/dports/www/mod_jk/Portfile 2011-03-03 05:25:16 UTC (rev 76628)
@@ -48,7 +48,9 @@
}
}
if { ![file isdirectory ${javahome}] } {
- error "This port needs a reasonable value for JAVA_HOME, but couldn't automatically determine one: please set the environment variable."
+ pre-fetch {
+ error "This port needs a reasonable value for JAVA_HOME, but couldn't automatically determine one: please set the environment variable."
+ }
}
variant jni description {Build jni_connect.so and enable jni_worker} {
Modified: trunk/dports/www/mod_jk2/Portfile (76627 => 76628)
--- trunk/dports/www/mod_jk2/Portfile 2011-03-03 03:26:36 UTC (rev 76627)
+++ trunk/dports/www/mod_jk2/Portfile 2011-03-03 05:25:16 UTC (rev 76628)
@@ -47,7 +47,9 @@
}
}
if { ![file isdirectory ${javahome}] } {
- error "This port needs a reasonable value for JAVA_HOME, but couldn't automatically determine one: please set the environment variable."
+ pre-fetch {
+ error "This port needs a reasonable value for JAVA_HOME, but couldn't automatically determine one: please set the environment variable."
+ }
}