Index: portlint.pl
===================================================================
--- portlint.pl	(revision 481045)
+++ portlint.pl	(working copy)
@@ -3239,7 +3239,17 @@
 				next;
 			}
 		}
+		print "OK: check if GH_ options are in use\n"
+                	if ($verbose);
+		foreach my $line (split(/(GH(?:S[?+]|[_\w\d]+)?=[^\n]+\n)/, $tmp)) {
+			if ($line =~ /GH([_\w\d]+)=[^\n]+\n/) {
+				print "OK: seen GH$1.\n" if ($verbose);
+				$tmp =~ s/GH([_\w\d]+)=[^\n]+\n//;
+				next;
+			}
 
+		}
+
 		&checkextra($tmp, 'USES/USE_x', $file);
 
 		$idx++;