From 6281ac0aaca0751b6b45cc3899c0fa5b1b9b59ef Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 15 Feb 2013 12:15:53 -0700 Subject: [PATCH] less noisy win32 builds --- src/worksp/gc2/make.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/worksp/gc2/make.rkt b/src/worksp/gc2/make.rkt index cb99cb4adb..2679771e61 100644 --- a/src/worksp/gc2/make.rkt +++ b/src/worksp/gc2/make.rkt @@ -82,7 +82,7 @@ "validate" "vector")) -(define common-cpp-defs " /D _CRT_SECURE_NO_DEPRECATE /D _USE_DECLSPECS_FOR_SAL=0 /D _USE_ATTRIBUTES_FOR_SAL=0 ") +(define common-cpp-defs " /D _CRT_SECURE_NO_DEPRECATE /D _USE_DECLSPECS_FOR_SAL=0 /D _USE_ATTRIBUTES_FOR_SAL=0 /nologo ") (define (check-timestamp t2 dep) (when (t2 . > . (current-seconds))