Re: make bootstrap fails on master

[Artur Malabarba]

The problem is fixed now, but just for the record, here are the outputs.

> `git status`: will show details on what files have been modified/deleted/etc.
> `git diff`: will show the diff on the modified files

git status is perfectly clean, the repo is in sync with origin/master.

> `git clean -ndx`: will display files that would be deleted by a
> .gitignore (`-n` is `--dry-run` so it doesn't act upon it.)

This shows a long list of files, mostly ".o" and ".elc". Doesn't show
anything like "src/lisp".