From 66ae6d52a1590d9773fc9a32623339a58d70d732 Mon Sep 17 00:00:00 2001 From: Magnus Ihse Bursie Date: Tue, 28 Nov 2023 17:15:32 +0000 Subject: [PATCH] 8320899: Select the correct Makefile when running make in build directory Reviewed-by: erikj --- make/autoconf/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make/autoconf/Makefile.in b/make/autoconf/Makefile.in index 8badd0f43ac..4cb5057c05c 100644 --- a/make/autoconf/Makefile.in +++ b/make/autoconf/Makefile.in @@ -24,4 +24,4 @@ # This Makefile was generated by configure @DATE_WHEN_CONFIGURED@ # GENERATED FILE, DO NOT EDIT SPEC:=@OUTPUTDIR@/spec.gmk -include @TOPDIR@/Makefile +include @WORKSPACE_ROOT@/Makefile