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