stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8320899: Select the correct Makefile when running make in build directory

Browse Source 
Reviewed-by: erikj
This commit is contained in:
Magnus Ihse Bursie 2023-11-28 17:15:32 +00:00
parent ebbef629c7
commit 66ae6d52a1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
make/autoconf/Makefile.in
View File

@ -24,4 +24,4 @@
# This Makefile was generated by configure @DATE_WHEN_CONFIGURED@ # This Makefile was generated by configure @DATE_WHEN_CONFIGURED@
# GENERATED FILE, DO NOT EDIT # GENERATED FILE, DO NOT EDIT
SPEC:=@OUTPUTDIR@/spec.gmk SPEC:=@OUTPUTDIR@/spec.gmk
include @TOPDIR@/Makefile include @WORKSPACE_ROOT@/Makefile