if [ "${use_wt_develop}" = "true" ]; then
  cd src/third_party
  for wtdir in dist examples ext lang src test tools; do
    rm -rf wiredtiger/$wtdir
    mv wtdevelop/$wtdir wiredtiger/
  done
fi