I just confirmed the above ^ :
$ git checkout v9_13_0 $ ./configure --help | grep -i "enable-thread" --enable-threads enable multithreading
$ git checkout v9_14_0 $ ./configure --help | grep -i "enable-thread" ==> NO MORE OPTION.
I just confirmed the above ^ :
$ git checkout v9_13_0
$ ./configure --help | grep -i "enable-thread"
--enable-threads enable multithreading
$ git checkout v9_14_0
$ ./configure --help | grep -i "enable-thread"
==> NO MORE OPTION.