diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-05-07 17:13:21 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-05-07 17:13:21 (EDT) |
| commit | b7f79e0fd402bd1b5160f9c4fa85cf03237dc44f (patch) | |
| tree | 2f0c16fe92feb73eccc130a33b334d06fded2a1d /platconf | |
| parent | 688ca3069f647f2a1d2023f982a89195e740d3f0 (diff) | |
build: Don't update "mrproper" target.
This generates the following output:
[...]
make -f scripts/Makefile.clean obj=Documentation
make -f scripts/Makefile.clean obj=Documentation/DocBook
make[3]: /bin/bash: Command not found
make[3]: /bin/bash: Command not found
make[3]: /bin/bash: Command not found
make -f scripts/Makefile.clean obj=Documentation/accounting
[...]
Something is trying to use Bash, and I can't be bothered right now to
figure out what it is.
Diffstat (limited to 'platconf')
0 files changed, 0 insertions, 0 deletions