mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-17 13:07:54 +02:00
Merge 007e15dcd7 into merged_master (Bitcoin PR #19565)
This commit is contained in:
commit
a1a5fbf2d4
1 changed files with 1 additions and 0 deletions
|
|
@ -667,6 +667,7 @@ case $host in
|
|||
BUILD_OS=darwin
|
||||
;;
|
||||
*)
|
||||
AC_PATH_TOOL([DSYMUTIL], [dsymutil], dsymutil)
|
||||
AC_PATH_TOOL([INSTALLNAMETOOL], [install_name_tool], install_name_tool)
|
||||
AC_PATH_TOOL([OTOOL], [otool], otool)
|
||||
AC_PATH_PROGS([GENISOIMAGE], [genisoimage mkisofs],genisoimage)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue