From 7a4af98fd6f439f92b961d00771e9b7f286fb339 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=A1s=20Ojeda=20B=C3=A4r?= <n.oje.bar@gmail.com>
Date: Wed, 24 Jul 2019 21:58:29 +0200
Subject: [PATCH] Promote test results
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
---
 test/blackbox-tests/test-cases/workspace-paths/run.t | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/test/blackbox-tests/test-cases/workspace-paths/run.t b/test/blackbox-tests/test-cases/workspace-paths/run.t
index 8d83d6d5caae..98aa19d08e61 100644
--- a/test/blackbox-tests/test-cases/workspace-paths/run.t
+++ b/test/blackbox-tests/test-cases/workspace-paths/run.t
@@ -13,3 +13,9 @@
   > (lang dune 1.11)
   > EOF
   $ dune build --root sub
+  Entering directory 'sub'
+  File "dune-workspace", line 4, characters 19-22:
+  4 |    (paths (FOO a) (FOO b))))
+                         ^^^
+  Error: the environment variable "FOO" can appear at most once in this stanza.
+  [1]