[cvc4/sharkcz-secondary-arch: 2/2] catch also s390{, x} whose triplet is s390{, x}-ibm-linux-gnu

[Dan Horák]

commit ee6164bbbae101982b24d9326aeb4fd7db2e9992
Author: Dan Horák <dan at danny.cz>
Date:   Thu Mar 6 11:47:21 2014 +0100

    catch also s390{,x} whose triplet is s390{,x}-ibm-linux-gnu

 cvc4.spec |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/cvc4.spec b/cvc4.spec
index a1b33b4..3b97874 100644
--- a/cvc4.spec
+++ b/cvc4.spec
@@ -150,7 +150,7 @@ chrpath -d %{buildroot}%{_bindir}/* \
            %{buildroot}%{_jnidir}/%{name}/lib%{name}*.so.*.*.*
 
 # Help the debuginfo generator
-BUILDS=builds/*-redhat-linux-gnu
+BUILDS=builds/*-*-linux-gnu
 for dir in decision expr main parser printer prop smt theory theory/arith \
     theory/arrays theory/booleans theory/bv theory/datatypes theory/idl \
     theory/quantifiers theory/rewriterules theory/strings theory/uf; do
@@ -172,7 +172,7 @@ ln -s $PWD/src/smt/smt_options_template.cpp $BUILDS/src/smt
 ulimit -s unlimited
 
 # The tests require unreleased *.plf files from upstream
-for mk in $(find builds/*-redhat-linux-gnu/default-proof/test -name Makefile)
+for mk in $(find builds/*-*-linux-gnu/default-proof/test -name Makefile)
 do
   sed -e 's,^\(LFSCARGS =\).*,\1 %{SOURCE1} %{SOURCE2} %{SOURCE3},' \
       -e 's,^\(TESTS_ENVIRONMENT = LFSC=\)".*",\1"lfsc %{SOURCE1} %{SOURCE2} %{SOURCE3}",' \