mirror of
https://git.freebsd.org/ports.git
synced 2025-06-27 07:30:32 -04:00
32a45817eb
Release notes: https://netbeans.org/community/releases/74/relnotes.html Submitted by: Federico Bernoldi <federico@bernoldi.com.ar>
20 lines
1.1 KiB
Text
20 lines
1.1 KiB
Text
--- platform/lib/nbexec.orig 2013-10-30 09:45:15.000000000 +0100
|
|
+++ platform/lib/nbexec 2013-10-30 09:45:20.000000000 +0100
|
|
@@ -213,7 +213,7 @@
|
|
# if the Java option for heap dump on OOME is supported enable it
|
|
if "${jdkhome}/bin/java" -XX:+HeapDumpOnOutOfMemoryError -cp "${progdir}/boot.jar" org.netbeans.NbExecJavaStartTry > /dev/null 2>&1 ; then
|
|
jargs="$jargs -XX:+HeapDumpOnOutOfMemoryError"
|
|
- if [ -z "`echo $jargs | grep -- "-XX:HeapDumpPath="`" ] ; then
|
|
+ if [ -z "`echo $jargs | %%GREP%% -- "-XX:HeapDumpPath="`" ] ; then
|
|
jargs="$jargs -XX:HeapDumpPath=\"${userdir}/var/log/heapdump.hprof\""
|
|
fi
|
|
# rename old heap dump to .old
|
|
@@ -244,7 +244,7 @@
|
|
if [ "`echo "${dir}"/*.$ex`" != "${dir}/*.$ex" ] ; then
|
|
for x in "${dir}"/*.$ex ; do
|
|
subx=`basename "$x"`
|
|
- if [ -z "`echo "$paths" | egrep "$subpath$subx"`" ] ; then
|
|
+ if [ -z "`echo "$paths" | %%GREP%% "$subpath$subx"`" ] ; then
|
|
if [ ! -z "$cp" ] ; then cp="$cp:" ; fi
|
|
cp="$cp$x"
|
|
if [ ! -z "$paths" ] ; then paths="$paths:" ; fi
|