Closed rwarren2 closed 7 years ago
Since this is currently a Makefile hack, I'd like specgen to handle it.
Keep in makefile for now
Since this is currently a Makefile hack, I'd like specgen to handle it.