This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch]: Add check for stdint header
* Paolo Bonzini wrote on Fri, Sep 04, 2009 at 03:27:15PM CEST:
> # ----------------- done all checks, emit header -------------
> AC_CONFIG_COMMANDS(_GCC_STDINT_H, [
> cat >> tmp-stdint.h <<EOF
Hmm, maybe
cat > tmp-stdint.h <<EOF
to avoid clutter when an old such file is lying around?
(Autoconf should document that config.status provides a $tmp directory
that is cleaned up by a trap, and that config commands can use, if they
use their own namespace below there.)
Cheers,
Ralf