From 28fe90cda272bc0af8ac15e01cf945141aced51d Mon Sep 17 00:00:00 2001 From: Daniel Zimmermann Date: Mon, 17 Feb 2014 07:11:45 +0100 Subject: kernel/linux: pump ISL to version 0.12.2 kernel/linux: pump ISL to version 0.12.2 pump ISL to version 0.12.2 Signed-off-by: '"Daniel Zimmermann" ' [yann.morin.1998@free.fr: remove superfluous empty lines] Signed-off-by: "Yann E. MORIN" Message-Id: <93ee409eb70170262d84.1392617512@haus-VirtualBox> Patchwork-Id: 320849 diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in index 51854c8..a6b53fb 100644 --- a/config/companion_libs/isl.in +++ b/config/companion_libs/isl.in @@ -6,6 +6,10 @@ choice # Don't remove next line # CT_INSERT_VERSION_BELOW +config ISL_V_0_12_2 + bool + prompt "0.12.2" + config ISL_V_0_11_1 bool prompt "0.11.1" @@ -16,4 +20,5 @@ config ISL_VERSION string # Don't remove next line # CT_INSERT_VERSION_STRING_BELOW + default "0.12.2" if ISL_V_0_12_2 default "0.11.1" if ISL_V_0_11_1 -- cgit v0.10.2-6-g49f6