Build system: temp solution for parallelisation bug (#11960)
authorThomas Miedema <thomasmiedema@gmail.com>
Sun, 22 May 2016 08:14:44 +0000 (10:14 +0200)
committerThomas Miedema <thomasmiedema@gmail.com>
Sun, 22 May 2016 08:14:44 +0000 (10:14 +0200)
libffi/ghc.mk

index 404cce9..7c5bc9e 100644 (file)
@@ -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)