1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/semko/nodwf03.stp b/testsuite/semko/nodwf03.stp
new file mode 100755
index 00000000..6b66f2e9
--- /dev/null
+++ b/testsuite/semko/nodwf03.stp
@@ -0,0 +1,14 @@
+#!/bin/sh
+#
+# --kelf doesn't work if vmlinux can't be found.
+
+stap -p2 --ignore-vmlinux --kelf -e '
+probe kernel.function("printk") {
+	printf("%s called\n", probefunc())
+	exit()
+}
+
+probe timer.sec(30) {
+	exit()
+}
+'