jdk/test/sun/tools/jps/jps-V_Output2.awk
author twisti
Thu, 24 Mar 2011 23:04:40 -0700
changeset 8863 6f1fc00f3bbc
parent 2 90ce3da70b43
permissions -rw-r--r--
Merge

#
BEGIN	{
	    totallines=0; matched=0
	}

/^[0-9]+ Jps.* \+DisableExplicitGC$/	{
	    matched++;
	}

	{ totallines++; print $0 }

END	{
	    if ((totallines > 0) && (matched >= 1)) {
	        exit 0
	    }
	    else {
	        exit 1
	    }
	}