[cvc4/f20] (4 commits) ...Add missing line continuation in merged changes.
Jerry James
jjames at fedoraproject.org
Fri Mar 7 17:43:02 UTC 2014
Summary of changes:
6f20269... allow build without gperftools (*)
ee6164b... catch also s390{,x} whose triplet is s390{,x}-ibm-linux-gnu (*)
4ead8ba... Merge changes from Dan HorĂ¡k to fix secondary arch builds. (*)
f90fcc7... Add missing line continuation in merged changes. (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list