util/dist-check: now we also check the --with-no-pool-patch option of the ./configure script.
util/dist-check: now we also check the --with-no-pool-patch option of the ./configure script.

tedlz123/Openresty,tedlz123/Openresty,tedlz123/Openresty,tedlz123/Openresty