From add28d047eba2a97b8b31b77b20fb137e2a8bc48 Mon Sep 17 00:00:00 2001
From: Johannes Pfeifer <jpfeifer@gmx.de>
Date: Thu, 24 Aug 2023 10:27:45 +0200
Subject: [PATCH] x13: allow for Windows paths with spaces
---
src/@x13/run.m | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/@x13/run.m b/src/@x13/run.m
index 5f0eb16..e9daa3f 100644
--- a/src/@x13/run.m
+++ b/src/@x13/run.m
@@ -31,7 +31,11 @@ if ~exist(x13b, 'file')
end
% Run spc file.
-[errorflag, msg] = system(sprintf('%s %s', x13b, basename));
+if ispc
+ [errorflag, msg] = system(sprintf('"%s" %s', x13b, basename));
+else
+ [errorflag, msg] = system(sprintf('%s %s', x13b, basename));
+end
if errorflag
skipline()
--
GitLab