From c7e834a2fc5f8fb81f5316447e4075902d58d8a3 Mon Sep 17 00:00:00 2001
From: Ebrahim Byagowi <ebrahim@gnu.org>
Date: Tue, 20 Feb 2018 17:59:04 +0330
Subject: [PATCH] [dev-run] minor

---
 src/dev-run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dev-run.sh b/src/dev-run.sh
index 8589f62d4..5a7ae1022 100755
--- a/src/dev-run.sh
+++ b/src/dev-run.sh
@@ -33,6 +33,6 @@ if [[ "$answer" = "y" ]]; then
 	if [[ $CMAKENINJA ]]; then
 		CTEST_OUTPUT_ON_FAILURE=1 CTEST_PARALLEL_LEVEL=5 ninja -Cbuild test
 	else
-		make -j5 check && .ci/fail.sh
+		make -Cbuild -j5 check && .ci/fail.sh
 	fi
 fi