diff options
-rwxr-xr-x | .gitlab/ci.sh | 2 | ||||
-rw-r--r-- | docs/users_guide/8.10.6-notes.rst | 2 | ||||
m--------- | libraries/process | 0 |
3 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 6add2b5ae4..d222976e18 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -347,7 +347,7 @@ function push_perf_notes() { function test_make() { run "$MAKE" test_bindist TEST_PREP=YES - run "$MAKE" V=0 VERBOSE=1 test \ + run "$MAKE" V=0 VERBOSE=1 BINDIST=YES test \ THREADS="$cores" \ JUNIT_FILE=../../junit.xml } diff --git a/docs/users_guide/8.10.6-notes.rst b/docs/users_guide/8.10.6-notes.rst index 46064a577e..df931e5889 100644 --- a/docs/users_guide/8.10.6-notes.rst +++ b/docs/users_guide/8.10.6-notes.rst @@ -55,6 +55,8 @@ Packaging fixes - Bump ``haskeline`` to 0.8.2 +- Bump ``process`` to 1.6.13.2 (:ghc-ticket:`19994`) + - Bump ``Win32`` to 2.6.2.0 (:ghc-ticket:`20202`) Portability fixes diff --git a/libraries/process b/libraries/process -Subproject 5a0cbd46eca6d30b78726688058b7fd258a2253 +Subproject b39bbc0625c99c8c02840d8fd3ae45f062c9c78 |