Jenkins: Don't rebuild kernel with userspace
authorKevin Klues <klueska@cs.berkeley.edu>
Tue, 6 May 2014 02:59:14 +0000 (19:59 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Tue, 6 May 2014 02:59:14 +0000 (19:59 -0700)
tools/jenkins/launcher.sh

index c1b59f4..dd03a2b 100755 (executable)
@@ -179,8 +179,6 @@ function build_userspace() {
        # Fill memory with tests.
        make fill-kfs
 
-       # Recompile kernel.
-       make
        echo -e "[BUILD_USERSPACE]: End\n"
 }