From f23ca7f539085cf7a99cc366bbd34dd1d71efb1f Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Sun, 14 Jul 2019 17:14:51 +0200
Subject: [PATCH] makes devel green again

(cherry picked from commit df53c68a363318c9ce080b6827b573a3d60ec760)
---
 compiler/nim.cfg | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/nim.cfg b/compiler/nim.cfg
index 6f266317fb..b9480007f0 100644
--- a/compiler/nim.cfg
+++ b/compiler/nim.cfg
@@ -14,7 +14,9 @@ define:nimcore
 define:useStdoutAsStdmsg
 define:nimOldCaseObjects
 
-styleCheck:error
+@if nimHasStyleChecks:
+  styleCheck:error
+@end
 
 #define:useNodeIds
 #gc:markAndSweep