Jenkins: Enable the lousy lapic timer since we don't have KVM
authorKevin Klues <klueska@cs.berkeley.edu>
Wed, 28 May 2014 02:37:23 +0000 (19:37 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Wed, 28 May 2014 02:37:23 +0000 (19:37 -0700)
tools/jenkins/launcher.sh

index 1c4bf69..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