From 357edd86b429dfaa3c24dedabdad0eb68915616f Mon Sep 17 00:00:00 2001 From: Varriount Date: Wed, 4 Mar 2020 14:44:42 -0500 Subject: [PATCH] fix nightlies builds on Windows (#13587) Before the files that should have been ignored weren't ignored because of different dir separator ('\' vs '/') on Windows. --- tools/kochdocs.nim | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/tools/kochdocs.nim b/tools/kochdocs.nim index 4a07b7fd9d..a5166973aa 100644 --- a/tools/kochdocs.nim +++ b/tools/kochdocs.nim @@ -1,6 +1,6 @@ ## Part of 'koch' responsible for the documentation generation. -import os, strutils, osproc, sets +import os, strutils, osproc, sets, pathnorm const gaCode* = " --doc.googleAnalytics:UA-48159761-1" @@ -195,11 +195,11 @@ lib/system/widestrs.nim a.isRelativeTo("lib/pure/includes") or a.isRelativeTo("lib/genode") or a.isRelativeTo("lib/deprecated") or - (a.isRelativeTo("lib/system") and a notin goodSystem) or - a in docIgnore: + (a.isRelativeTo("lib/system") and a.replace('\\', '/') notin goodSystem) or + a.replace('\\', '/') in docIgnore: continue result.add a - result.add "nimsuggest/sexp.nim" + result.add normalizePath("nimsuggest/sexp.nim") let doc = getDocList()