From d34c3f2c5e7958354ee2ae850967de7f234e9021 Mon Sep 17 00:00:00 2001
From: Michael Schloh von Bennewitz <ms@openpkg.org>
Date: Thu, 22 Aug 2002 12:24:52 +0000
Subject: [PATCH] Requires GNU flex

---
 splint/splint.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/splint/splint.spec b/splint/splint.spec
index f23b9c1431..d9590812b7 100644
--- a/splint/splint.spec
+++ b/splint/splint.spec
@@ -33,7 +33,7 @@ Distribution: OpenPKG [PLUS]
 Group:        Converter
 License:      GPL
 Version:      3.0.1.6
-Release:      20020821
+Release:      20020822
 
 #   list of sources
 Source0:      http://www.splint.org/downloads/splint-%{version}.src.tgz
@@ -41,7 +41,7 @@ Source0:      http://www.splint.org/downloads/splint-%{version}.src.tgz
 #   build information
 Prefix:       %{l_prefix}
 BuildRoot:    %{l_buildroot}
-BuildPreReq:  OpenPKG, openpkg >= 20020206, gcc, make
+BuildPreReq:  OpenPKG, openpkg >= 20020206, gcc, make, flex
 PreReq:       OpenPKG, openpkg >= 20020206
 AutoReq:      no
 AutoReqProv:  no