diff options
| -rw-r--r-- | polly/Makefile.config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/Makefile.config.in b/polly/Makefile.config.in index 231fb986248..c4831fcd69c 100644 --- a/polly/Makefile.config.in +++ b/polly/Makefile.config.in @@ -28,6 +28,7 @@ endif POLLY_CXXFLAGS += "-fno-rtti -fno-exceptions" +PLUTO_FOUND := @pluto_found@ CLOOG_FOUND := @cloog_found@ OPENSCOP_FOUND := @openscop_found@ SCOPLIB_FOUND := @scoplib_found@ |
