Jenkins: Enable the lousy lapic timer since we don't have KVM
[akaros.git] / tools / jenkins / launcher.sh
index 982d331..e906450 100755 (executable)
@@ -93,6 +93,7 @@ function build_config() {
                   sed -i -e 's/CONFIG_64BIT=y/# CONFIG_64BIT is not set/' \
                          -e 's/# CONFIG_X86_32 is not set/CONFIG_X86_32=y/' \
                          -e 's/CONFIG_X86_64=y/# CONFIG_X86_64 is not set/' \
+                         -e 's/CONFIG_LOUSY_LAPIC_TIMER=y/# CONFIG_LOUSY_LAPIC_TIMER is not set/' \
                          .config
            ;;
        X86_64)  make ARCH=x86 defconfig
@@ -102,7 +103,7 @@ function build_config() {
        # 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_KERNEL_POSTBOOT_TESTING=y" >> .config
+       echo "CONFIG_KERNEL_TESTING=y" >> .config
        echo "CONFIG_USERSPACE_TESTING=y" >> .config
        # Set all config variables dependent on the above changes to their defaults
        # without prompting