% sudo vmware-modconfig --console --install-all
すると
make[1]: Entering directory `/usr/src/linux-headers-3.13-1-amd64' Makefile:10: *** mixed implicit and normal rules. Stop.
みたいに怒られてしまう.どうも
[/usr/src/linux-headers-3.13-1-amd64/Makefile] $(cmd) %/: all @:
の箇所が問題ならしい.mix するな,ということらしいので,
[/usr/src/linux-headers-3.13-1-amd64/Makefile] $(cmd): all @: %/: all @:として解決.