makefile_tmp should be ignored by git

    This is a temporary file generated by the build system.