Re: [OS-BUILD PATCH] redhat/configs/process_configs.sh: Fix race with tools generation