Dear Michael,
I think R-devel mailing list is not a proper place to report issues
with devtools. I would try filling an issue in their github
repository.
If you are able to reproduce this issue using plain R without any
extra packages, then please provide such example here.
Regards,
Jan Gorecki
This question was posed on SO :
https://stackoverflow.com/questions/58118495/passing-extra-argumenets-to-devtoolsbuild
but there has been no useful reply.
Something seems to have changed in the |devtools|package, so that the
following commands, that used to run now give an error I can't deciph