build: make clean in userspace before re-building

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>

build: make clean in userspace before re-building
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 · Alessandro Rubini · f3e9587b · 65094379
Commit 65094379 authored Nov 25, 2013 by Alessandro Rubini
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 3 deletions

wrs_build_userspace build/scripts/wrs_build_userspace +3 -3

No files found.
--- a/build/scripts/wrs_build_userspace
+++ b/build/scripts/wrs_build_userspace
@@ -15,13 +15,13 @@ wrs_echo "--- User space tools"
 sourcedir="$WRS_BASE_DIR/../userspace"
 installdir="$WRS_OUTPUT_DIR/images/wr"

-mkdir -p $installdir || wrs_die "mkdir images/wr"
-
 # This time build is done in-place, but the output is a tree in images/wr.
 # Some of the makefiles inside use 
 export LINUX="$WRS_OUTPUT_DIR/build/linux-2.6.39"

-cd $sourcedir && make
+cd $sourcedir
+make clean || wrs_die "Error cleaning user space"
+make || wrs_die "Error building user space"

 # mini-rpc is an external package, it has no wr-specific install
 install -d $installdir/lib