From 2273f75e9bc5078fe0a688e32ee950affad1f829 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 4 Nov 2014 19:22:35 -0500 Subject: [PATCH] fix(emacs/lean-mode): handle when there is spaces in filenames --- src/emacs/lean-mode.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index 0842cec5a..7e921e919 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -32,7 +32,7 @@ (defun lean-compile-string (exe-name args file-name) "Concatenate exe-name, args, and file-name" - (format "%s %s %s" exe-name args file-name)) + (format "\"%s\" %s \"%s\"" exe-name args file-name)) (defun lean-create-temp-in-system-tempdir (file-name prefix) "Create a temp lean file and return its name"