echo "==> Number of threads : $number_of_threads"
echo "==> Patch file : $patch_file"
echo "====================================================================="
echo "==> Number of threads : $number_of_threads"
echo "==> Patch file : $patch_file"
echo "====================================================================="