echo "//Please do not edit this file. Just run create-buildsys_inc.sh to update it." > buildsys.inc
echo "'$(uname -srmo)'" >> buildsys.inc