From a62bed0dfcacb855a82216b8ea636b52c26e5e38 Mon Sep 17 00:00:00 2001
From: Colin Patrick Mccabe <cmccabe@alumni.cmu.edu>
Date: Fri, 31 Aug 2012 12:55:47 -0700
Subject: [PATCH 1/1] If JAVA_HOME is defined, add JAVA_HOME/bin to path

Signed-off-by: Colin McCabe <cmccabe@alumni.cmu.edu>
---
 .bashrc |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/.bashrc b/.bashrc
index ca8b97a..07c0f53 100644
--- a/.bashrc
+++ b/.bashrc
@@ -43,6 +43,11 @@ case $- in
 	;;
 esac
 
+if [ -f "${JAVA_HOME}" ]; then
+        :
+else
+        export PATH="${PATH}:${JAVA_HOME}/bin"
+fi
 # Perturb malloc so that we spot bugs quicker!
 export MALLOC_PERTURB_=$(($RANDOM % 255 + 1))
 
-- 
1.6.6.rc1.39.g9a42