Disable java when JAVA_NOT_REQUIRED is set

Change-Id: Id3056cde93302be20000bf7af33aeed0fa8fdf52
2016-02-05 18:24:17 -08:00
parent a465cf681b
commit fdf89cd575
7 changed files with 21 additions and 5 deletions
--- a/core/no_java_path/java
+++ b/core/no_java_path/java
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+echo "Error: JAVA_NOT_REQUIRED=true, $(basename $0) is unavailable." 1>&2
+exit 1