From 809af5f10e6eeb66bf0744ddf3abb413d826169f Mon Sep 17 00:00:00 2001
From: Christopher Monsanto <chris@monsan.to>
Date: Mon, 13 Apr 2020 14:08:01 -0400
Subject: [PATCH] Workaround weird // issue in paths

---
 util/tup-ext.lua | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/util/tup-ext.lua b/util/tup-ext.lua
index 40a9360a..2dfff915 100644
--- a/util/tup-ext.lua
+++ b/util/tup-ext.lua
@@ -6,7 +6,11 @@
 function glob(pats)
     local results = {}
     for pat in iter(astable(pats)) do
-        results += tup.glob(pat)
+        for _, file in ipairs(tup.glob(pat)) do
+            -- Workaround a weird issue pre reported
+            file = file:gsub("//", "/")
+            table.insert(results, file)
+        end
     end
     return results
 end