Handle "#if 0" correctly (I hope)

diff --git a/util/mkdef.pl b/util/mkdef.pl
index 80384af325a31aaae5635f92b77e3457e30cc871..629982a384bb3b84007d8e628ebea3f180477200 100755 (executable)
--- a/util/mkdef.pl
+++ b/util/mkdef.pl
@@ -214,6 +214,11 @@ sub do_defs
                                push(@tag,"TRUE");
                                $tag{"TRUE"}=1;
                                next;
+                       } elsif (/^\#\s*if\s+0/) {
+                               # Dummy tag
+                               push(@tag,"TRUE");
+                               $tag{"TRUE"}=-1;
+                               next;
                        } elsif (/^\#/) {
                                next;
                        }
@@ -251,6 +256,7 @@ sub do_defs
                                $funcs{"PEM_read_bio_${1}"} = 1;
                                $funcs{"PEM_write_bio_${1}"} = 1;
                        } elsif ( 
+                               ($tag{'TRUE'} != -1) &&
                                ($tag{'FreeBSD'} != 1) &&
                                ($tag{'CONST_STRICT'} != 1) &&
                                (($W32 && ($tag{'WIN16'} != 1)) ||