1 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/semok/config_number.stp b/testsuite/semok/config_number.stp
new file mode 100755
index 00000000..b384c3e5
--- /dev/null
+++ b/testsuite/semok/config_number.stp
@@ -0,0 +1,20 @@
+#! stap -p2
+
+# check that number comparisons work in CONFIG checks
+probe
+  %( CONFIG_NR_CPUS == 13 %?
+    noprobe
+  %:
+    %( CONFIG_NR_CPUS < 1 %?
+      nonoprobe
+    %:
+      %( CONFIG_NR_CPUS >= 0 %?
+        begin
+      %:
+        nononoprobe
+      %)
+    %)
+  %)
+{
+  exit()
+}