diff options
| author | Devaev Maxim <[email protected]> | 2018-06-29 01:55:06 +0300 |
|---|---|---|
| committer | Devaev Maxim <[email protected]> | 2018-06-29 01:56:22 +0300 |
| commit | c1e8c2a024eb89fb3acaf8089e5843921a5fe4a7 (patch) | |
| tree | fa94a7a9a7789b5b44abf42c99b35b539947c0a4 /os | |
| parent | aea601d1150a8c0e0b047ac4af41dea80de82326 (diff) | |
fixed os/clean-all
Diffstat (limited to 'os')
| -rw-r--r-- | os/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/os/Makefile b/os/Makefile index ff43bdeb..b3455e08 100644 --- a/os/Makefile +++ b/os/Makefile @@ -21,5 +21,6 @@ install: pi-builder clean: pi-builder cd pi-builder && make clean -clean-all: clean +clean-all: + -cd pi-builder && make clean rm -rf pi-builder |