alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/ltlvisit/apcollect.hh: Fix include guard. Report from Denis.

Browse source 
* src/sanity/includes.test: Include files twice to check include
guards.
This commit is contained in:
Alexandre Duret-Lutz 2004-08-10 18:07:20 +00:00
parent 11762deafc
commit 42fc2b772f
3 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,5 +1,9 @@
2004-08-10 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-08-10 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/ltlvisit/apcollect.hh: Fix include guard. Report from Denis.
* src/sanity/includes.test: Include files twice to check include
guards.
* src/tgbatest/ltl2tgba.cc (main): Fix another gcc warning in case * src/tgbatest/ltl2tgba.cc (main): Fix another gcc warning in case
assert() is disabled. assert() is disabled.

2
src/ltlvisit/apcollect.hh
View file

@ -20,7 +20,7 @@
// 02111-1307, USA. // 02111-1307, USA.
#ifndef SPOT_LTLVISIT_APCOLLECT_HH #ifndef SPOT_LTLVISIT_APCOLLECT_HH
# define SPOT_LTLVISIT_AP_COLLECT_HH # define SPOT_LTLVISIT_APCOLLECT_HH
#include <set> #include <set>
#include "ltlvisit/postfix.hh" #include "ltlvisit/postfix.hh"

6
src/sanity/includes.test
View file

@ -8,7 +8,11 @@ rm -f failures
for file in `find "$INCDIR" -name "${1-*}.hh" -type f -print | for file in `find "$INCDIR" -name "${1-*}.hh" -type f -print |
sed "s,$INCDIR/,,g"`; do sed "s,$INCDIR/,,g"`; do
echo "#include <$file>" > incltest.cc cat >incltest.cc <<EOF
// Include the file twice, so we detect missing inclusion guards.
#include <$file>
#include <$file>
EOF
if $CXX $CPPFLAGS $CXXFLAGS -c incltest.cc; then if $CXX $CPPFLAGS $CXXFLAGS -c incltest.cc; then
echo "PASS: $file" echo "PASS: $file"
else else