diff options
| author | Devaev Maxim <[email protected]> | 2018-06-30 00:54:24 +0300 |
|---|---|---|
| committer | Devaev Maxim <[email protected]> | 2018-06-30 00:54:24 +0300 |
| commit | de9600c81a24973292e9aa6241dfe81ea9f202cb (patch) | |
| tree | d72defbb9d3309583d80367fdfc15de2ba360868 /os | |
| parent | 00de047b842831b9e45e56961016c6bdc5994821 (diff) | |
make scan
Diffstat (limited to 'os')
| -rw-r--r-- | os/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/os/Makefile b/os/Makefile index b3455e08..ffba4d0f 100644 --- a/os/Makefile +++ b/os/Makefile @@ -18,6 +18,9 @@ format: pi-builder install: pi-builder cd pi-builder && make install +scan: pi-builder + cd pi-builder && make scan + clean: pi-builder cd pi-builder && make clean |