diff options
Diffstat (limited to 'polly/lib/External/isl/configure.ac')
-rw-r--r-- | polly/lib/External/isl/configure.ac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/polly/lib/External/isl/configure.ac b/polly/lib/External/isl/configure.ac index 456b9c36361..df0bb297f24 100644 --- a/polly/lib/External/isl/configure.ac +++ b/polly/lib/External/isl/configure.ac @@ -1,10 +1,10 @@ -AC_INIT([isl], [0.17], [isl-development@googlegroups.com]) +AC_INIT([isl], [0.17.1], [isl-development@googlegroups.com]) AC_CONFIG_AUX_DIR([.]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([foreign]) m4_ifdef([AM_SILENT_RULES],[AM_SILENT_RULES([yes])]) AC_SUBST(versioninfo) -versioninfo=17:0:2 +versioninfo=17:1:2 if test "x$prefix" != "xNONE"; then prefix_wd=`cd $prefix && pwd` |