diff options
Diffstat (limited to 'external')
-rw-r--r-- | external/coinmp/ExternalProject_coinmp.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/external/coinmp/ExternalProject_coinmp.mk b/external/coinmp/ExternalProject_coinmp.mk index c18f2d5f956f..422cc940d606 100644 --- a/external/coinmp/ExternalProject_coinmp.mk +++ b/external/coinmp/ExternalProject_coinmp.mk @@ -27,7 +27,7 @@ else $(call gb_ExternalProject_get_state_target,coinmp,build) : +$(call gb_ExternalProject_run,build,\ ./configure COIN_SKIP_PROJECTS="Data/Sample" \ - --enable-dependency-linking \ + --enable-dependency-linking F77=unavailable \ && $(MAKE) \ ) |