From 0972817d02858b421af1c6f37a91c53677e59ada Mon Sep 17 00:00:00 2001
From: Timo Kreuzer <timo.kreuzer@reactos.org>
Date: Sat, 7 Jan 2012 16:05:25 +0000
Subject: [PATCH] [CMAKE] add _PREFAST_ option for amd64, too

svn path=/trunk/; revision=54862
---
 reactos/cmake/config-amd64.cmake | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/reactos/cmake/config-amd64.cmake b/reactos/cmake/config-amd64.cmake
index d4d5a444bac..2b1cc16a44c 100644
--- a/reactos/cmake/config-amd64.cmake
+++ b/reactos/cmake/config-amd64.cmake
@@ -41,3 +41,8 @@ This settings is disabled (0) by default.")
 set(USERMODE TRUE CACHE BOOL
 "Whether to compile any usermode parts. This is while kernel mode is under
  heavy development and usermode part not relevant for bootcd.")
+
+if(MSVC)
+set(_PREFAST_ FALSE CACHE BOOL
+"Whether to enable PREFAST while compiling.")
+endif()