From: evans1629 <evans1629>
Date: Mon, 11 Feb 2002 03:14:40 +0000 (+0000)
Subject: Added warnsysfiles flag to manual.
X-Git-Tag: splint-3_0_1_6~3
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/6fa9e405c310047d86ef876cd5f65eaecd40bda1

Added warnsysfiles flag to manual.
---

diff --git a/doc/manual.doc b/doc/manual.doc
index 6dc9450..5459492 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ
diff --git a/winconfig.h b/winconfig.h
index db477e8..1240d5e 100644
--- a/winconfig.h
+++ b/winconfig.h
@@ -15,6 +15,9 @@
 /* alternate include directory */
 #define GCC_INCLUDE_DIR2 "C:/local/include"
 
+#define TARGET_CPU "x86"
+#define UNAME "WIN32"
+
 /* String describing who compiled this binary and how */
 #define LCL_COMPILE "Compiled using Microsoft Visual C++ 6.0"