On Thu, Dec 4, 2014 at 2:04 PM, Tobias Burnus
wrote:
> Nothing sets any more CLOOGLIBS and CLOOGINC - thus, we can
> also remove it.
>
> The patch survived bootstrapping. OK?
Ok.
Thanks,
Richard.
> Tobias
>
>
> diff --git a/gcc/Makefile.in b/gcc/Makefile.in
> index 43405a0..98cff75 100644
> --
Nothing sets any more CLOOGLIBS and CLOOGINC - thus, we can
also remove it.
The patch survived bootstrapping. OK?
Tobias
diff --git a/gcc/Makefile.in b/gcc/Makefile.in
index 43405a0..98cff75 100644
--- a/gcc/Makefile.in
+++ b/gcc/Makefile.in
@@ -1006,7 +1006,7 @@ BUILD_LIBDEPS= $(BUILD_LIBIBER