orocos-toolchain/ocl — pull request #21 by meyerj (2014-10-31 20:30:02+00:00)
Title: Merge patch from toolchain-2.6 branch?

@b1willaert: This commit has never been merged to toolchain-2.7 or master...
Should we merge it?