workaround for mantis 2476
authorMatthias Wachs <wachs@net.in.tum.de>
Mon, 2 Jul 2012 14:34:13 +0000 (14:34 +0000)
committerMatthias Wachs <wachs@net.in.tum.de>
Mon, 2 Jul 2012 14:34:13 +0000 (14:34 +0000)
commit6d9ebef7d96adad01308c135f27748ec3f6b7774
tree153874a6bc14a4839c88aa44da043955866ec416
parentf5ace9e5e65381e94c50a57df200503894fda2a0
workaround for mantis 2476
src/testing/testing.c