From e2eb6d094ad017142d1790d4dcf0fe17d1e3ee78 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Thu, 7 May 2020 16:53:42 -0700 Subject: [PATCH] [sledge] Fix context name in test/Makefile Summary: Should have been included in: 22cbec493 [sledge] Rename contexts/profiles to be more conventional Reviewed By: jvillard Differential Revision: D21441538 fbshipit-source-id: 92b591171 --- sledge/test/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sledge/test/Makefile b/sledge/test/Makefile index cd4e460c9..596f7bce0 100644 --- a/sledge/test/Makefile +++ b/sledge/test/Makefile @@ -7,7 +7,7 @@ CLANG_ARGS?=-O0 # executable to test -SLEDGE_EXE=$(CURDIR)/../_build/_install/dbg/bin/sledge +SLEDGE_EXE=$(CURDIR)/../_build/_install/debug/bin/sledge # additional arguments to pass to sledge SLEDGE_ARGS?=