Don't duplicate Makefile shell code
Don't duplicate Makefile shell code

Smaller, and conceptually easier to keep in sync,
way of handling build machines with and without git.

themperek/iverilog,CastMi/iverilog,CastMi/iverilog,CastMi/iverilog,themperek/iverilog,themperek/iverilog