]> gitweb.factorcode.org Git - factor.git/commitdiff
help.lint.checks: ignore a few more, for command-line help.lint.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 22 Nov 2020 19:28:39 +0000 (11:28 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 22 Nov 2020 19:28:39 +0000 (11:28 -0800)
basis/help/lint/checks/checks.factor

index 98e2ebdd5f6bb87929688ca2d94645ecedb5a8d5..2be0093a1e4d5939566d74b4d116e405d4444295 100644 (file)
@@ -29,6 +29,10 @@ SYMBOL: vocab-articles
             "linux-monitor" ! github issue #2014, race condition in disposing of child monitors
             "event-stream"
             "macosx-monitor"
+            "recursive-monitor"
+            "input-port"
+            "malloc-ptr"
+            "fd"
         } member?
     ] reject ;