| #!/bin/sh | |
| # | |
| # Copyright (C) 2017 and later: Unicode, Inc. and others. | |
| # License & terms of use: http://www.unicode.org/copyright.html | |
| # | |
| # Copyright (c) 2008-2013 IBM Corp. and Others. All Rights Reserved | |
| if [ ! -x ${1} ]; | |
| then | |
| echo could not exec ${1} | |
| echo usage: ${0} something.sh | |
| exit 1 | |
| fi | |
| set -x | |
| . "${1}" | |
| ${JAVA_HOME}/bin/java -version 2>/dev/null |