On 20/06/2015 10:27, Paolo Bonzini wrote: > > > On 11/05/2015 15:44, Jakub Jelinek wrote: >> I bet it is the linux/include/compiler*.h stuff. >> >> In any case, supposedly you can just use >> gcc -U__GNUC__ -U__GNUC_MINOR__ -U__GNUC_PATCHLEVEL__ -D__GNUC__=4 -D__GNUC_MINOR__=10 -D__GNUC_PATCHLEVEL__=0 >> instead of gcc, you don't need any hacks for that from the distro. > > For Coverity I used this wrapper instead: > > #! /bin/bash > case "$*" in > *--version*|*--help*) "$@" | sed 's,version 5\.1,version 4\.10,g' ;; > *) "$@" 2> >(sed 's,version 5\.1,version 4\.10,g') ;; > esac > > either directly or through CCACHE_PREFIX. Hmm, nope. It cannot find headers in /usr/lib. I guess I'll build a 4.10-hacked GCC myself. Paolo -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
