commit | 5efa55fd03aeae4162403fc117e0fc5fa4dca27c | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Apr 24 14:34:42 2005 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Apr 24 14:34:42 2005 +0000 |
tree | a11dbba9f9e54e5a9f096876c72fbeeeda654e16 | |
parent | 8a7fdd24af750630d41e476b8ff04aedf3656cde [diff] |
Relax the requirement that a pub_tool_<modulename>.h file must exist even if it defines nothing. That's a bit silly. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3558 a5019735-40e9-0310-863c-91ae7b9d1cf9