From 0e47827d5f461ceb0e67540adba7bc2fe3a360da Mon Sep 17 00:00:00 2001
From: Dave Brolley <brolley@redhat.com>
Date: Tue, 29 Jul 2008 13:40:08 -0400
Subject: Ensure that a systemtap server is available if 'server' is specified
 in EXTRA_TOOL_OPTS for 'make check' and 'make installcheck'

---
 stap-start-server | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100755 stap-start-server

(limited to 'stap-start-server')

diff --git a/stap-start-server b/stap-start-server
new file mode 100755
index 00000000..d143e269
--- /dev/null
+++ b/stap-start-server
@@ -0,0 +1,24 @@
+#!/bin/bash
+
+# Start a systemtap server
+#
+# Copyright (C) 2008 Red Hat Inc.
+#
+# This file is part of systemtap, and is free software.  You can
+# redistribute it and/or modify it under the terms of the GNU General
+# Public License (GPL); either version 2, or (at your option) any
+# later version.
+
+# This script attempts to start a systemtap server and echoes the
+# process id, if successful.
+
+# start the server
+stap-serverd </dev/null >/dev/null 2>&1 &
+server_pid=$!
+
+# Exit if the server did not start ok
+(ps | grep -q $server_pid) || exit 1
+
+# The server started ok. Echo its process id.
+echo $server_pid
+exit 0
-- 
cgit