diff --git a/bin/linja.in b/bin/linja.in index 52ce63d02..2b0ca3a27 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