Fix no-ripemd on Windows

[openssl.git] / util / bat.sh

diff --git a/util/bat.sh b/util/bat.sh
index 459cd9f7e334986713fbae98681f65900647ea74..dee56d74a31319b930956d9137b14ae4c3126024 100755 (executable)
--- a/util/bat.sh
+++ b/util/bat.sh
@@ -37,9 +37,6 @@ for (;;)
                $lib =~ s/^.*\/([^\/]+)$/$1/;
                }
 
-       if ($key eq "EXHEADER")
-               { $exheader.=&var_add($dir,$val); }
-
        if ($key eq "HEADER")
                { $header.=&var_add($dir,$val); }