From 2c320f32a6c3d0a17e2c13c57a141c2704618ceb Mon Sep 17 00:00:00 2001 From: Davor Dundovic <33790330+ddundo@users.noreply.github.com> Date: Wed, 11 Dec 2024 13:03:02 +0100 Subject: [PATCH] #236: cd to the right directory Co-authored-by: Joe Wallwork <22053413+jwallwork23@users.noreply.github.com> --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 71d754d..b64fe24 100644 --- a/Makefile +++ b/Makefile @@ -18,7 +18,7 @@ lint: test: lint @echo "Running test suite..." @cd test && make - @cd adjoint && make + @cd test/adjoint && make @echo "PASS" coverage: