mbarbos/Wolframe — comment on commit 8a7ab88f83593188adccaab1764db1e65dd9555f
File:  line 0
By mbarbos:

This looks more like gmake bug...