fix makefile

This commit is contained in:
Leif Johansson 2017-10-26 11:27:05 +02:00
parent 504c7ac250
commit a3719038e4