]> git.ipfire.org Git - thirdparty/gcc.git/blobdiff - config/isl.m4
2012-07-02 Richard Guenther <rguenther@suse.de>
[thirdparty/gcc.git] / config / isl.m4
index 0ddeddba9c24e6a067d205b36b5f8781cbeacb34..c5411587c1df63dff39ed5606243eb0176708822 100644 (file)
@@ -107,12 +107,9 @@ AC_DEFUN([ISL_REQUESTED],
 m4_define([_ISL_CHECK_CT_PROG],[AC_LANG_PROGRAM(
   [#include <isl/version.h>
    #include <string.h>],
-  [int main()
-   {
-     if (strncmp (isl_version (), "isl-0.10", strlen ("isl-$1.$2")) != 0)
-       return 1;
-     return 0;
-   }])])
+  [if (strncmp (isl_version (), "isl-$1.$2", strlen ("isl-$1.$2")) != 0)
+     return 1;
+   ])])
 
 # ISL_CHECK_VERSION ISL_CHECK_VERSION (MAJOR, MINOR)
 # ----------------------------------------------------------------