Add a test for CONFIG_FOO wildcards

diff --git a/testsuite/semok/config_wildcard.stp b/testsuite/semok/config_wildcard.stp
new file mode 100755 (executable)
index 0000000..4e5a615
--- /dev/null
+++ b/testsuite/semok/config_wildcard.stp
@@ -0,0 +1,25 @@
+#! stap -p2
+
+# check that wildcards work in CONFIG checks
+probe
+  %( CONFIG_NFSD == "m" || CONFIG_NFSD == "y" %?
+    %( CONFIG_NFSD == "[my]" &&
+       CONFIG_NFSD == "[a-z]" &&
+       CONFIG_NFSD == "?" &&
+       CONFIG_NFSD == "*"
+    %? begin
+    %: noprobe
+    %)
+  %:
+    %( CONFIG_NFSD != "[my]" &&
+       CONFIG_NFSD != "[a-z]" &&
+       CONFIG_NFSD != "?" &&
+       CONFIG_NFSD == "*" &&
+       CONFIG_NFSD == ""
+    %? begin
+    %: noprobe
+    %)
+  %)
+{
+  exit()
+}