-
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