[lfsc] Build with -fsigned-char to prevent infloop when char is unsigned. This is apparently the case on pp

[Jerry James]

commit a44359f082a2baf4342fd18f1b8429e6eb9673fa
Author: Jerry James <jamesjer at betterlinux.com>
Date:   Thu Apr 25 14:32:45 2013 -0600

    Build with -fsigned-char to prevent infloop when char is unsigned.
    This is apparently the case on ppc64 and s390x, at least.

 lfsc.spec |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/lfsc.spec b/lfsc.spec
index 9ecc22e..70d5fb0 100644
--- a/lfsc.spec
+++ b/lfsc.spec
@@ -4,7 +4,7 @@
 
 Name:           lfsc
 Version:        0.20120321
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        SMT proof checker
 
 License:        BSD
@@ -47,7 +47,7 @@ cp -p %{SOURCE1} .
 sed -ri 's/-(O4|w)//' Makefile
 
 %build
-make %{?_smp_mflags} CP_OPTS="%{optflags} -D_FILE_OFFSET_BITS=64"
+make %{?_smp_mflags} CP_OPTS="%{optflags} -fsigned-char -D_FILE_OFFSET_BITS=64"
 
 %install
 # Install the main binary
@@ -79,6 +79,9 @@ opt/%{name} %{SOURCE4} %{SOURCE5}
 %{_libdir}/%{name}/
 
 %changelog
+* Thu Apr 25 2013 Jerry James <loganjerry at gmail.com> - 0.20120321-3
+- Build with -fsigned-char to prevent infloop when char is unsigned
+
 * Tue Apr 16 2013 Jerry James <loganjerry at gmail.com> - 0.20120321-2
 - Add source3 as a reminder to update source2
 - Add a check script, and source4 and source5 to feed it