Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upReword, indent, remove temporaries, roll minor #295
Conversation
|
This LGTM and I think obviates the need for my other PR. |
I am still wondering if we should something else (other than believing Also, is there another possible extension besides |
Nothing major here but we now
--cleantoR CMD SHLIB(catching just the .o file)I wonder if we could ask
autoconffor a temp. dir. Probably cleanest.