'user' is also a directory, so some make targets thought they didn't
need to be updated.  Specifically this included make tests, which
doesn't depend on install-libs anymore.

Signed-off-by: Barret Rhoden <[email protected]>
---

Merged to master at ea4a8d9099a9..41ab54b78d87 (from, to]

You can see the entire diff with 'git diff' or at
https://github.com/brho/akaros/compare/ea4a8d9099a9...41ab54b78d87


 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 6d126995ed9d..0bd5a83ac80f 100644
--- a/Makefile
+++ b/Makefile
@@ -612,6 +612,7 @@ install-base-libs: $(user-base-dirs) symlinks cc-exists
 $(user-dirs):
        @$(MAKE) -C user/$@ DEPLIBS="$^" && $(MAKE) -C user/$@ install
 
+PHONY += user
 user: $(user-dirs)
 
 PHONY += userclean $(clean-user-dirs)
-- 
2.13.0.rc0.306.g87b477812d-goog

-- 
You received this message because you are subscribed to the Google Groups 
"Akaros" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to