Bug#317 Make toplevel configure --disable-mt work again.  John A. Murdie.
Bug#317 Make toplevel configure --disable-mt work again.  John A. Murdie.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel