From f63fbd356f4e80b2f597796039eb79a69121fb4d Mon Sep 17 00:00:00 2001
From: Alexey Neyman <stilor@att.net>
Date: Sun, 2 Jul 2017 13:12:53 -0700
Subject: Allow for custom archive names

... and directories therein.

Signed-off-by: Alexey Neyman <stilor@att.net>
---
 config/companion_libs/isl.in | 1 -
 1 file changed, 1 deletion(-)

(limited to 'config')

diff --git a/config/companion_libs/isl.in b/config/companion_libs/isl.in
index b617aa39..9c74078f 100644
--- a/config/companion_libs/isl.in
+++ b/config/companion_libs/isl.in
@@ -16,7 +16,6 @@ config ISL_CLOOG_auto_select_2
     def_bool y
     depends on CLOOG_NEEDED && !ISL_0_13_or_older
     select CLOOG_REQUIRE_0_18_4_or_later
-# TBD 0.12.2 should allow both!
 
 config ISL_NEEDS_WITH_GMP
     bool
-- 
cgit v1.2.3