From 96e6f3d5790b2c84c67540b0da7964804cf94745 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Kl=C3=B6ckner?= <inform@tiker.net>
Date: Tue, 27 Nov 2018 15:16:33 -0500
Subject: [PATCH] Add link to relevant discussion regarding option quoting
---
pyopencl/__init__.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/pyopencl/__init__.py b/pyopencl/__init__.py
index 8120022e..179000d3 100644
--- a/pyopencl/__init__.py
+++ b/pyopencl/__init__.py
@@ -256,6 +256,7 @@ def _find_pyopencl_include_path():
raise
# Quote the path if it contains a space and is not quoted already.
+ # See https://github.com/inducer/pyopencl/issues/250 for discussion.
if ' ' in include_path and not include_path.startswith('"'):
return '"' + include_path + '"'
else:
--
GitLab