summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Zimmermann <netzimme@gmail.com>2014-02-17 06:11:45 (GMT)
committerDaniel Zimmermann <netzimme@gmail.com>2014-02-17 06:11:45 (GMT)
commit28fe90cda272bc0af8ac15e01cf945141aced51d (patch)
treea2d9f195e4b8ee65db87c326f5cb7f207d2add99
parent086e927448ba6263a3bfca21341e766d177b4842 (diff)
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" <netzimme@gmail.com>' [yann.morin.1998@free.fr: remove superfluous empty lines] Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr> Message-Id: <93ee409eb70170262d84.1392617512@haus-VirtualBox> Patchwork-Id: 320849
-rw-r--r--config/companion_libs/isl.in5
1 files changed, 5 insertions, 0 deletions
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