[SCM] minisat+ packaging branch, master, updated. upstream/2011.05.10-14-g572421b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit c0760218b65d550de94983edbcdb7b960f0bc711
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 11 15:28:22 2011 +0200

    create executable with bignum support, on upstream's advise

diff --git a/debian/rules b/debian/rules
index f910a57..5c7237d 100755
--- a/debian/rules
+++ b/debian/rules
@@ -4,7 +4,7 @@
 	dh $@
 
 override_dh_auto_make:
-	make rx
+	make rs
 
 override_dh_auto_clean:
 	make clean

-- 
minisat+ packaging