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)
commit4dfa8d908bb67c6be038366e92de35010562fb25
tree9d23c34c9c780c90d80da557badf1604fff353de
parentc0926b4cb4c910bb8b11d1fa597b14a347cee7e7
Jenkins: Don't rebuild kernel with userspace
tools/jenkins/launcher.sh