changeset in /hg/icedtea6: 2008-10-19 Matthias Klose <doko at ubu...

[doko at ubuntu.com]

changeset 6cc69d786ebb in /hg/icedtea6
details: http://icedtea.classpath.org/hg/icedtea6?cmd=changeset;node=6cc69d786ebb
description:
	2008-10-19  Matthias Klose  <doko at ubuntu.com>

	        * Makefile.am (jtregcheck): Cleanup processes.

diffstat:

2 files changed, 34 insertions(+)
ChangeLog   |    4 ++++
Makefile.am |   30 ++++++++++++++++++++++++++++++

diffs (56 lines):

diff -r eb9d7dcd692c -r 6cc69d786ebb ChangeLog
--- a/ChangeLog	Sun Oct 19 17:44:39 2008 +0200
+++ b/ChangeLog	Sun Oct 19 18:06:54 2008 +0200
@@ -1,3 +1,7 @@ 2008-10-19  Matthias Klose  <doko at ubuntu
+2008-10-19  Matthias Klose  <doko at ubuntu.com>
+
+	* Makefile.am (jtregcheck): Cleanup processes.
+
 2008-10-19  Matthias Klose  <doko at ubuntu.com>
 
 	* patches/icedtea-cacao-ignore-jdi-tests.patch: Ignore jdi tests,
diff -r eb9d7dcd692c -r 6cc69d786ebb Makefile.am
--- a/Makefile.am	Sun Oct 19 17:44:39 2008 +0200
+++ b/Makefile.am	Sun Oct 19 18:06:54 2008 +0200
@@ -1569,11 +1569,41 @@ clean-jtreg-reports:
 	rm -rf test/hotspot test/langtools test/jdk
 	rm -f test/check-*.log test/jtreg-summary.log
 
+# FIXME: this might need some adjustment for other OS than Linux
+jtreg_processes = ps x -ww -o pid,ppid,args \
+	| awk '$$2 == 1 && $$3 ~ /^$(subst /,\/,/scratch)/' \
+	| sed 's,$(CURDIR)/$(sdkimg),<sdkimg>,g;s,$(CURDIR),<pwd>,g'
+jtreg_pids = ps x --no-headers -ww -o pid,ppid,args \
+	| awk '$$2 == 1 && $$3 ~ /^$(subst /,\/,$(CURDIR)/$(sdkimg))/ {print $$1}'
+
 jtregcheck: jtreg check-hotspot check-langtools check-jdk
 	for i in hotspot langtools jdk; do \
 	  echo "--------------- jtreg console summary for $$i ---------------"; \
 	  egrep -v '^(Passed:|Directory)' test/check-$$i.log; \
 	done | tee test/jtreg-summary.log
+
+	: # kill testsuite processes still hanging
+	@pids=$$($(jtreg_pids)); \
+	if [ -n "$$pids" ]; then \
+	  echo "killing processes..."; \
+	  $(jtreg_processes); \
+	  kill -1 $$pids; \
+	  sleep 2; \
+	  pids=$$($(jtreg_pids)); \
+	  if [ -n "$$pids" ]; then \
+	    echo "try harder..."; \
+	    $(jtreg_processes); \
+	    kill -9 $$pids; \
+	    sleep 2; \
+	  fi; \
+	else \
+	  echo "nothing to cleanup"; \
+	fi; \
+	pids=$$($(jtreg_pids)); \
+	if [ -n "$$pids" ]; then \
+	  echo "leftover processes..."; \
+	  $(jtreg_processes); \
+	fi
 
 check-local: jtregcheck