@elextr: the issue was caused by an incomplete makefile in the workbench plugin. It missed $(WORKBENCH_CFLAGS) in the workbench_la_CFLAGS. The result was that building it locally on my machine worked, but the Travis CI build failed.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.