From 5d5645712a40c529c41db5b88f69df5850205306 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Sat, 19 Oct 2013 18:44:01 +0000 Subject: [PATCH] Typo --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index 74f3c7b8..a5061352 100755 --- a/debian/rules +++ b/debian/rules @@ -62,7 +62,7 @@ endif POLLY_ENABLE=no ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' libisl-dev) ge 0.12.1; echo $$?),0) ifeq ($(shell dpkg --compare-versions $(shell dpkg-query -W -f '$${Version}' libcloog-isl-dev) ge 0.18.1; echo $$?),0) -POLLY_ENABLE=YES +POLLY_ENABLE=yes endif endif