1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/semko/nodwf01.stp b/testsuite/semko/nodwf01.stp
new file mode 100755
index 00000000..25217bac
--- /dev/null
+++ b/testsuite/semko/nodwf01.stp
@@ -0,0 +1,14 @@
+#!/bin/sh
+#
+# Verify that --ignore-vmlinux "hides" vmlinux.
+
+stap -p2 --ignore-vmlinux -e '
+probe kernel.function("printk") {
+	printf("%s called\n", probefunc())
+	exit()
+}
+
+probe timer.sec(30) {
+	exit()
+}
+'