From f99f8b423a2cf4f10125d083c38e461e80acd96e Mon Sep 17 00:00:00 2001 From: Michael Kerrisk Date: Thu, 14 Jun 2007 05:57:12 +0000 Subject: [PATCH] handle "FIXME ?" --- scripts/FIXME_list.sh | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/scripts/FIXME_list.sh b/scripts/FIXME_list.sh index e82380106..8e99fa4d2 100644 --- a/scripts/FIXME_list.sh +++ b/scripts/FIXME_list.sh @@ -45,7 +45,13 @@ for dir in "$@"; do # /.\" FIXME . / ==> do not display this FIXME, unless # -a command-line option was supplied - if (!($0 ~ /^\.\\\" FIXME \./ ) || SHOW_ALL == "y") { + if ($0 ~ /^\.\\\" FIXME \./ ) + FIXME_type = "hidden" + else if ($0 ~ /^\.\\\" FIXME *\?/ ) + FIXME_type = "question" + else + FIXME_type = "normal"; + if (FIXME_type == "normal" || SHOW_ALL == "y") { if (page_FIXME_cnt == 0) { print "=========="; print PAGE_NAME;