From dec655d1c1f4d1cbfca123a5912352005dca5401 Mon Sep 17 00:00:00 2001 From: Christopher Monsanto Date: Sun, 13 Sep 2020 23:03:27 -0400 Subject: [PATCH] Extend // workaround to Windows --- util/tup-ext.lua | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/util/tup-ext.lua b/util/tup-ext.lua index b5f64986..4511fc06 100644 --- a/util/tup-ext.lua +++ b/util/tup-ext.lua @@ -29,11 +29,12 @@ end -- -- Workaround weird bug pre reported, where final path segment has two // +-- EDIT: AND workaround a bug Marty reported on Windows, where final path segment has a /\ local old_tup_glob = tup.glob function tup.glob(pat) local results = old_tup_glob(pat) for i = 1, #results do - results[i] = results[i]:gsub("//", "/") + results[i] = results[i]:gsub("/\\", "/"):gsub("//", "/") end return results end