diff --git a/test/blackbox-tests/test-cases/quoting/filename-space/dune b/test/blackbox-tests/test-cases/quoting/filename-space/dune new file mode 100644 index 00000000..a6a35ae4 --- /dev/null +++ b/test/blackbox-tests/test-cases/quoting/filename-space/dune @@ -0,0 +1,8 @@ + +(alias + ((name unquoted) + (action (echo ${read:foo bar.txt})))) + +(alias + ((name quoted) + (action (echo "${read:foo bar.txt}")))) \ No newline at end of file diff --git a/test/blackbox-tests/test-cases/quoting/filename-space/foo bar.txt b/test/blackbox-tests/test-cases/quoting/filename-space/foo bar.txt new file mode 100644 index 00000000..b79fb893 --- /dev/null +++ b/test/blackbox-tests/test-cases/quoting/filename-space/foo bar.txt @@ -0,0 +1 @@ +filename contains spaces diff --git a/test/blackbox-tests/test-cases/quoting/run.t b/test/blackbox-tests/test-cases/quoting/run.t index 4dd78f7b..25f42cfb 100644 --- a/test/blackbox-tests/test-cases/quoting/run.t +++ b/test/blackbox-tests/test-cases/quoting/run.t @@ -24,3 +24,11 @@ The targets should only be interpreted as a single path when quoted $ dune runtest --root quotes-multi Entering directory 'quotes-multi' lines: foo bar baz + + $ dune build @quoted --root filename-space + Entering directory 'filename-space' + filename contains spaces + + $ dune build @unquoted --root filename-space + Entering directory 'filename-space' + ${read:foo bar.txt}