cliffordwolf/yosys — pull request #31 by bentley (2014-04-04 22:40:02+00:00)
Title: Remove non-POSIX 'rm -v'.

“rm -v” is not required by POSIX and doesn’t exist in BSD rm.