From 06418c9be6102447488610751def5864d566aae7 Mon Sep 17 00:00:00 2001 From: evans1629 Date: Wed, 13 Feb 2002 15:24:58 +0000 Subject: [PATCH] Fixed warning message for shiftsigned flag. (Reported by Melson Beebe.) --- src/flags.c | 2 +- winconfig.h | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/flags.c b/src/flags.c index 1ec7017..eb68c11 100644 --- a/src/flags.c +++ b/src/flags.c @@ -1164,7 +1164,7 @@ flags_identifyFlagAux (cstring s, bool quiet) { llerror_flagWarning (cstring_makeLiteral ("shiftsigned flag is obsolete. You probably " - "want bitwisesigned, shiftnegative or shiftsize.")); + "want bitwisesigned, shiftnegative or shiftimplementation.")); } res = SKIP_FLAG; diff --git a/winconfig.h b/winconfig.h index 1240d5e..cd9e68d 100644 --- a/winconfig.h +++ b/winconfig.h @@ -4,10 +4,10 @@ /*@-constmacros@*/ /* The directory where Splint's library files live */ -#define DEFAULT_LARCHPATH ".;C:/splint-3.0.1/lib" +#define DEFAULT_LARCHPATH ".;C:/splint-3.0.1.6/lib" /* Splint's imports directory */ -#define DEFAULT_LCLIMPORTDIR ".;C:/splint-3.0.1/imports" +#define DEFAULT_LCLIMPORTDIR ".;C:/splint-3.0.1.6/imports" /* system include directory */ #define GCC_INCLUDE_DIR "C:/include" @@ -22,13 +22,13 @@ #define LCL_COMPILE "Compiled using Microsoft Visual C++ 6.0" /* Splint's version number */ -#define LCL_PARSE_VERSION "Splint 3.0.1.1" +#define LCL_PARSE_VERSION "Splint 3.0.1.6" /* Define to disable support LCL files */ /* #undef NOLCL */ /* Splint's version number and configure/build date */ -#define SPLINT_VERSION "Splint 3.0.1.1 --- 08 Jan 2002" +#define SPLINT_VERSION "Splint 3.0.1.6 --- 11 Feb 2002" /* The system's main include directory */ #define SYSTEM_LIBDIR "C:/include" -- 2.45.1