echo "APPENDDEF(\`confENVDEF', \`-DBROKEN_PTHREAD_SLEEP')" >>"$S/devtools/Site/site.config.m4"