From 72167016312dec57faac58938a9bd2bebddb8b65 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 4 Jan 2005 13:32:53 +0000 Subject: [PATCH] * src/sanity/includes.test: Also check *.hxx files. * src/tgbaalgos/ndfs_result.hxx: Rename the include guard. --- ChangeLog | 5 +++++ src/sanity/includes.test | 5 +++-- src/tgbaalgos/ndfs_result.hxx | 6 +++--- 3 files changed, 11 insertions(+), 5 deletions(-) diff --git a/ChangeLog b/ChangeLog index 36b0b554a..f0b7ef4ce 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2005-01-04 Alexandre Duret-Lutz + + * src/sanity/includes.test: Also check *.hxx files. + * src/tgbaalgos/ndfs_result.hxx: Rename the include guard. + 2005-01-03 Alexandre Duret-Lutz * doc/Doxyfile.in (FILE_PATTERNS): Remove *.hxx. diff --git a/src/sanity/includes.test b/src/sanity/includes.test index 2249359d8..94caac486 100755 --- a/src/sanity/includes.test +++ b/src/sanity/includes.test @@ -6,8 +6,9 @@ set -e rm -f failures -for file in `find "$INCDIR" -name "${1-*}.hh" -type f -print | - sed "s,$INCDIR/,,g"`; do +for file in `find "$INCDIR" \( -name "${1-*}.hh" \ + -o -name "${1-*}.hxx" \) \ + -a -type f -a -print | sed "s,$INCDIR/,,g"`; do b=`echo "$file" | tr '[/.a-z]' '[__A-Z]'` if grep "[ ]*#.*def.* SPOT_$b\$" "$INCDIR/$file" >/dev/null; then diff --git a/src/tgbaalgos/ndfs_result.hxx b/src/tgbaalgos/ndfs_result.hxx index e8519df4b..dbbe2a992 100644 --- a/src/tgbaalgos/ndfs_result.hxx +++ b/src/tgbaalgos/ndfs_result.hxx @@ -19,8 +19,8 @@ // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA // 02111-1307, USA. -#ifndef SPOT_TGBAALGOS_NDFS_RESULT_HH -# define SPOT_TGBAALGOS_NDFS_RESULT_HH +#ifndef SPOT_TGBAALGOS_NDFS_RESULT_HXX +# define SPOT_TGBAALGOS_NDFS_RESULT_HXX //#define NDFSR_TRACE @@ -628,4 +628,4 @@ namespace spot #undef ndfsr_trace -#endif // SPOT_TGBAALGOS_NDFS_RESULT_HH +#endif // SPOT_TGBAALGOS_NDFS_RESULT_HXX