@echo off :: =========================================================================== :: Product: QP/C build script for PC-Lint(TM) :: Last Updated for Version: 5.1.1 :: Date of the Last Update: Oct 06, 2013 :: :: Q u a n t u m L e a P s :: --------------------------- :: innovating embedded systems :: :: Copyright (C) 2002-2013 Quantum Leaps, LLC. All rights reserved. :: :: This program is open source software: you can redistribute it and/or :: modify it under the terms of the GNU General Public License as published :: by the Free Software Foundation, either version 2 of the License, or :: (at your option) any later version. :: :: Alternatively, this program may be distributed and modified under the :: terms of Quantum Leaps commercial licenses, which expressly supersede :: the GNU General Public License and are specifically designed for :: licensees interested in retaining the proprietary status of their code. :: :: This program is distributed in the hope that it will be useful, :: but WITHOUT ANY WARRANTY; without even the implied warranty of :: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the :: GNU General Public License for more details. :: :: You should have received a copy of the GNU General Public License :: along with this program. If not, see . :: :: Contact information: :: Quantum Leaps Web sites: http://www.quantum-leaps.com :: http://www.state-machine.com :: e-mail: info@quantum-leaps.com :: =========================================================================== setlocal :: Options for calling lin.bat :: :: -DQ_SPY // for linting the Spy configuration (default for QS) :: up to 4 other options, if needed :: NOTE: adjust to for your installation directory of PC-Lint :: set PC_LINT_DIR=C:\tools\lint set LINTFLAGS=-i%PC_LINT_DIR%\lnt %QPC%\include\std.lnt options.lnt %1 %2 %3 %4 set PROJ_DIR=.. :: linting ------------------------------------------------------------------- %PC_LINT_DIR%\lint-nt -os(lint_out.txt) %LINTFLAGS% %PROJ_DIR%\philo.c %PROJ_DIR%\table.c endlocal