diff options
author | Tristan Corrick <tristan@corrick.kiwi> | 2018-08-01 23:50:02 +1200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-08-13 15:37:32 +0000 |
commit | 870f69e2214d98a29e623a48953f305326e5870a (patch) | |
tree | b38494e7f94fe0fafcbb01c89abf8f26e2792a51 /configs | |
parent | 2527648d8c258581bc1c32576d248f15a13b48dd (diff) |
Documentation/Makefile.sphinx: Be cautious when running `rm -rf`
If BUILDDIR were an empty string, running `make clean` would result in
running `rm -rf /*`. Omitting the trailing /* prevents this.
With a valid BUILDDIR, the behaviour of `make clean` changes slightly in
that BUILDDIR itself is removed. However, this is probably more in line
with what one would expect from `make clean`.
Change-Id: I51b52bb6e7fe73a07fed6291a4f1cc253f2bf319
Signed-off-by: Tristan Corrick <tristan@corrick.kiwi>
Reviewed-on: https://review.coreboot.org/27775
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-by: Stefan Tauner <stefan.tauner@gmx.at>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions