From daa9bb70b7897b2245cc3dd20538bfee8f8e5178 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 9 Feb 2015 16:38:09 -0800 Subject: [PATCH] fix(bin/linja): bug that only happens when uisng linja on Windows --- bin/linja.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/linja.in b/bin/linja.in index 52ce63d02d..2b0ca3a272 100755 --- a/bin/linja.in +++ b/bin/linja.in @@ -614,7 +614,7 @@ def build_olean(lean, olean, clean, dlean, ilean, base): else: str = """build %s %s: LEAN %s | %s""" % (olean, ilean, lean, dlean) if g_lean_bin_dep_flag: - str += " %s" % g_lean_path + str += " %s" % normalize_drive_name(g_lean_path) str += "\n" str += " DLEAN_FILE=%s\n" % dlean str += " OLEAN_FILE=%s\n" % olean