-
Alessandro Rubini authored
Make clean should not be needed, with proper makefiles. However, we have no dependencies (no proper makefiles), so we'd better clean first, as building userspace is fast anyways. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
65094379
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
scripts | ||
TODO | ||
download-info | ||
flash-wrs | ||
wrs_build-all |