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

8223335: Compare baseline builds on linux are failing

Browse Source 
Reviewed-by: tbell
This commit is contained in:
Erik Joelsson 2019-05-07 06:58:55 -07:00
parent 852cee4c6b
commit 1427827a19
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/InitSupport.gmk
View File

@ -387,7 +387,7 @@ else # $(HAS_SPEC)=true
fi fi
# Re-run configure with the same arguments (and possibly some additional), # Re-run configure with the same arguments (and possibly some additional),
# must be done after patching. # must be done after patching.
( cd $(OUTPUTDIR) && PATH="$(ORIGINAL_PATH)" \ ( cd $(CONFIGURE_START_DIR) && PATH="$(ORIGINAL_PATH)" \
$(BASH) $(topdir)/configure $(CONFIGURE_COMMAND_LINE) $(COMPARE_BUILD_CONF)) $(BASH) $(topdir)/configure $(CONFIGURE_COMMAND_LINE) $(COMPARE_BUILD_CONF))
endef endef