Request for review (S): 7099454 /bin/sh does not support syntax used in the src/os/posix/launcher/launcher.script shell script

Dmitry Samersoff Dmitry.Samersoff at
Tue Oct 11 11:27:46 UTC 2011


On 2011-10-11 15:19, Dmitry Samersoff wrote:

> 102 JDK=${ALT_JAVA_HOME%%/jre};
> doesn't work with plain
> it have to be
> JDK=`echo ${ALT_JAVA_HOME} | sed -e "s:/jre::g"`

PS: Is you really whant to remove all occurrence of /jre within 
ALT_JAVA_HOME as original script does?

Probably you need just to strip /jre suffix, so
it should be:

 > JDK=`echo ${ALT_JAVA_HOME} | sed -e "s:/jre$::"`


Dmitry Samersoff
Java Hotspot development team, SPB04
* There will come soft rains ...

More information about the hotspot-gc-dev mailing list