Make clean also cleans userspace
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 30 Mar 2011 01:47:08 +0000 (18:47 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:01 +0000 (17:36 -0700)
commitb34c1a288839a9e869cb07b1a1b9c9bf4fc68cbe
tree79b9b15a5180c14582d58ac7316f5e59a60a6809
parent0f80e89dcb51e09c5939de13b016c1a85aaedb0d
Make clean also cleans userspace

It was just cleaning the kernel and tests.
GNUmakefile