On Mon, 2015-06-08 14:50:43 +0100, Gordon Scott wrote: > Hi, > > I searched the archives and didn't find an answer, so... > > How can I exclude the default path from the include searches, please? > > I'm running splint for a cross-compiled project, so the defaults files > are the wrong ones for the compile. > > I've set -I and -systemdirs but without effect. > The various -skip-... options also seem to achieve nothing useful.
Hello Gordon, "-sysdirs <directory> -I<directory> -sys-dir-errors" seems to work for me to prevent splint from reporting errors for headers in <directory>. Or are you asking for a way to remove directories from the include path? HTH, Ludolf -- Ludolf Holzheid Bihl+Wiedemann GmbH Floßwörthstraße 41 68199 Mannheim, Germany Tel: +49 621 33996-0 Fax: +49 621 3392239 mailto:lholzh...@bihl-wiedemann.de http://www.bihl-wiedemann.de Sitz der Gesellschaft: Mannheim Geschäftsführer: Jochen Bihl, Bernhard Wiedemann Amtsgericht Mannheim, HRB 5796 _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
