speedo: Use --enable-wks-tools for non-W32 builds.
authorWerner Koch <wk@gnupg.org>
Tue, 20 Feb 2018 07:57:28 +0000 (08:57 +0100)
committerWerner Koch <wk@gnupg.org>
Tue, 20 Feb 2018 07:57:28 +0000 (08:57 +0100)
commitfffefd3c98dfcd2c75c7572c4e6fb32b73de5978
tree816bbc369bd445b4947aa3e2008e32ccfae19704
parent7b928c256426c4ff3d2d883c163a9ff2afa221a6
speedo: Use --enable-wks-tools for non-W32 builds.

--

Signed-off-by: Werner Koch <wk@gnupg.org>
build-aux/speedo.mk