Fix platform file.
authorGerd Zellweger <mail@gerdzellweger.com>
Tue, 11 Jul 2017 09:52:35 +0000 (11:52 +0200)
committerGerd Zellweger <mail@gerdzellweger.com>
Tue, 11 Jul 2017 09:52:35 +0000 (11:52 +0200)
commitbedc885345f406f1de041455045b84bcf9e7289c
tree1127a85f1deddd36acf7dd2decdea0e4c186ef52
parentbcb5da7099784225ae086669697e80233b460e53
Fix platform file.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
platforms/Hakefile