Enable dirty schedulers for OTP 18.

parent 51abbae2
Pipeline #6 skipped
......@@ -17,7 +17,7 @@ RUN set -xe \
&& rm otp-src.tar.gz \
&& cd /usr/src/otp-src \
&& ./otp_build autoconf \
&& ./configure \
&& ./configure --enable-dirty-schedulers \
&& make -j$(nproc) \
&& make install \
&& find /usr/local -name examples |xargs rm -rf \
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment