[splint-discuss] HowTo specify DEFINES by CMD line

[Wenzel, Bodo]

Hi Mike,

> How can I tell splint those defines so that it knows which headers to be
> included?
According to the documentation (page 72) you pass "D<initializer>" on the commandline.

Mit freundlichen Grüßen

i. A. Bodo Wenzel
- Entwicklung Software -

-- 
BBR - Baudis Bergmann Rösch
Verkehrstechnik GmbH
Pillaustraße 1e
D - 38126 Braunschweig

T: +49.531.27300-766
F: +49.531.27300-999
@: wenzel at bbr-vt.de
W: http://www.bbr-vt.de

Registergericht:
AG Braunschweig  HRB 3037

Geschäftsführer:
Dipl.-Ing. Arne Baudis
Dipl.-Ing. Thomas Bergmann
Dipl.-Ing. Frank-Michael Rösch

USt.-ID-Nr.:
DE 114 877 881