From d229b7811b9f4d6b12c34e9664b6a60e315733d1 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Sat, 30 Jun 2018 17:36:27 +0700 Subject: [PATCH] Cleanup test by creating dune-project file Signed-off-by: Rudi Grinberg --- .../test-cases/workspaces/custom-profile/dune-project | 1 + test/blackbox-tests/test-cases/workspaces/run.t | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 test/blackbox-tests/test-cases/workspaces/custom-profile/dune-project diff --git a/test/blackbox-tests/test-cases/workspaces/custom-profile/dune-project b/test/blackbox-tests/test-cases/workspaces/custom-profile/dune-project new file mode 100644 index 00000000..b2559fa0 --- /dev/null +++ b/test/blackbox-tests/test-cases/workspaces/custom-profile/dune-project @@ -0,0 +1 @@ +(lang dune 1.0) \ No newline at end of file diff --git a/test/blackbox-tests/test-cases/workspaces/run.t b/test/blackbox-tests/test-cases/workspaces/run.t index 376bcb56..4c0f5f68 100644 --- a/test/blackbox-tests/test-cases/workspaces/run.t +++ b/test/blackbox-tests/test-cases/workspaces/run.t @@ -31,7 +31,6 @@ specifying the workspace file is possible: Workspaces let you set custom profiles $ dune runtest --root custom-profile - Info: creating file dune-project with this contents: (lang dune 1.0) Entering directory 'custom-profile' build profile: foobar