From 613c4dbf58a281eb70c63e5ae2834a8d1f7c7d7b Mon Sep 17 00:00:00 2001
From: Andrew Kelley <superjoe30@gmail.com>
Date: Fri, 19 Jan 2018 15:51:37 -0500
Subject: [PATCH] temporary workaround for os.deleteTree not implemented for
 windows/mac

See #709
---
 doc/docgen.zig | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/doc/docgen.zig b/doc/docgen.zig
index 3bd5d9c662..76d952420c 100644
--- a/doc/docgen.zig
+++ b/doc/docgen.zig
@@ -48,7 +48,14 @@ pub fn main() -> %void {
     var toc = try genToc(allocator, &tokenizer);
 
     try os.makePath(allocator, tmp_dir_name);
-    defer os.deleteTree(allocator, tmp_dir_name) catch {};
+    defer {
+        // TODO issue #709
+        // disabled to pass CI tests, but obviously we want to implement this
+        // and then remove this workaround
+        if (builtin.os == builtin.Os.linux) {
+            os.deleteTree(allocator, tmp_dir_name) catch {};
+        }
+    }
     try genHtml(allocator, &tokenizer, &toc, &buffered_out_stream.stream, zig_exe);
     try buffered_out_stream.flush();
 }