Linux kernel 4.13 has been released. Update the kernel build list to
the current list of kernels from kernel.org.
Signed-off-by: Greg Rose <gvrose8192@gmail.com>
Signed-off-by: Andy Zhou <azhou@ovn.org>
env:
- OPTS="--disable-ssl"
- - TESTSUITE=1 KERNEL=3.16.46
+ - TESTSUITE=1 KERNEL=3.16.47
- TESTSUITE=1 OPTS="--enable-shared"
- BUILD_ENV="-m32" OPTS="--disable-ssl"
- - KERNEL=3.16.46 DPDK=1
- - KERNEL=3.16.46 DPDK=1 OPTS="--enable-shared"
- - KERNEL=4.12.2
- - KERNEL=4.11.11
- - KERNEL=4.9.38
- - KERNEL=4.4.77
- - KERNEL=4.1.42
+ - KERNEL=3.16.47 DPDK=1
+ - KERNEL=3.16.47 DPDK=1 OPTS="--enable-shared"
+ - KERNEL=4.13
+ - KERNEL=4.12.11
+ - KERNEL=4.9.48
+ - KERNEL=4.4.87
+ - KERNEL=4.1.43
- KERNEL=3.10.107
- TESTSUITE=1 LIBS=-ljemalloc