diff options
Diffstat (limited to 'libffi')
| -rw-r--r-- | libffi/ghc.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libffi/ghc.mk b/libffi/ghc.mk index 404cce989c..7c5bc9e1b3 100644 --- a/libffi/ghc.mk +++ b/libffi/ghc.mk @@ -111,7 +111,8 @@ $(libffi_STAMP_CONFIGURE): $(TOUCH_DEP) "$(TOUCH_CMD)" $@ $(libffi_STAMP_BUILD): $(libffi_STAMP_CONFIGURE) $(TOUCH_DEP) - $(MAKE) -C libffi/build MAKEFLAGS= + # Use 'sync' as a temporary solution for #11960 (parallelisation bug). + sync; $(MAKE) -C libffi/build MAKEFLAGS= "$(TOUCH_CMD)" $@ $(libffi_STAMP_INSTALL): $(libffi_STAMP_BUILD) $(TOUCH_DEP) |