support trivial

[jnethack/tool.git] / 1line / patch.pl

diff --git a/1line/patch.pl b/1line/patch.pl
index fe9d031..cda27dd 100644 (file)
--- a/1line/patch.pl
+++ b/1line/patch.pl
@@ -19,7 +19,8 @@ while(!eof(FI)){
     my $out2 = $out;
     $out2 =~ s/^[\t ]+//;
     for($i = 0; $i < $#file; $i++){
-        if($file[$i] eq "#if 0 /*JP*/\n"){
+        if($file[$i] eq "#if 0 /*JP*/\n" ||
+           $file[$i] eq "#if 0 /*JP:T*/\n"){
             $f = 1;
             next;
         }