Turn on userspace tests and set defaults properly
authorKevin Klues <klueska@cs.berkeley.edu>
Thu, 1 May 2014 20:49:47 +0000 (13:49 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 5 May 2014 23:23:31 +0000 (16:23 -0700)
We need a make olddefconfig after manually turning on the tests,
otherwise we get prompted to answer some qestions, that we don't want to
answer.  We just want to use the defaults.

tools/jenkins/launcher.sh

index 2fff737..a9ca7e6 100755 (executable)
@@ -91,10 +91,14 @@ function build_config() {
            ;;
        esac
 
-       # Enable postboot kernel tests to run.
+       # Enable tests to run.
        # These don't take much to execute so we can run them always and just parse
        # results if needed.
        echo "CONFIG_POSTBOOT_KERNEL_TESTING=y" >> .config
+       echo "CONFIG_USERSPACE_TESTING=y" >> .config
+       # Set all config variables dependent on the above changes to their defaults
+       # without prompting
+       make olddefconfig 
 
        echo -e "[SET_MAKE_CONFIG]: End\n"
 }