Use __printf__ instead of printf to avoid problem with "#define printf
authorBen Pfaff <blp@gnu.org>
Wed, 7 Feb 2007 04:00:09 +0000 (04:00 +0000)
committerBen Pfaff <blp@gnu.org>
Wed, 7 Feb 2007 04:00:09 +0000 (04:00 +0000)
commitb5a94c85822eb737da0bb01b94be0531a3e9bbb7
tree1ee15e44ff52bde45c635bb1c3f89a3b53a3896a
parente229c3779f9fb5e4bf7786a3bddf5e5d2441da28
Use __printf__ instead of printf to avoid problem with "#define printf
libintl_printf" that libintl is fond of doing.
src/libpspp/ChangeLog
src/libpspp/compiler.h