> From: splint-discuss-boun...@cs.virginia.edu [mailto:splint-discuss- > boun...@cs.virginia.edu] On Behalf Of Bill Pringlemeir > Sent: Tuesday, 24 May, 2011 21:03 > To: splint-discuss@mail.cs.virginia.edu > Subject: Re: [splint-discuss] Defining local variables AFTER some lines > ofcode > > > On 19 May 2011, steve_...@optusnet.com.au wrote: > > > My guess is that it's a generated file that the sln has not > > generated. > > Any hints what command line generates the flag_code.gen? > > I haven't used Windows in a very long time. However, the file is > generated by 'grep "FLG_" flags.def > Headers/flag_codes.gen'. You can > maybe use 'findstr' if you don't have grep. > > Maybe someone else uses Windows?
I do, but I haven't built Splint from source in a very long time. There are several grep implementations available for Windows. While findstr would work in that case, I'd suggest installing MSYS, MinGW, or Cygwin; they're all free, and they provide a variety of useful tools besides grep. -- Michael Wojcik Principal Software Systems Developer, Micro Focus This message has been scanned by MailController - portal1.mailcontroller.co.uk _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
