SeattleTestbed / attic

ARCHIVAL: Full mirror of SeattleTestbed's SVN in early 2014. We use GitHub since!

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

utf ignores second and further arguments to #pragma repy

choksi81 opened this issue · comments

r6986 removed blanket dylink support for unit tests, claiming some tests would break otherwise. Unfortunately, it also removed a perfectly valid statement that allowed for the inclusion of more parameters in the #pragma repy directive than only a restrictions file.

Additional parameters were possible before, and the comment to r6986 only extends to the dylink line added in r6926, so I conclude this removal was done in error. I'm adding the line back in.