On 2021-07-16, at 7:10 AM, Marcel Taeumel notifications@github.com wrote:
@marceltaeumel pushed 1 commit.
• 19da7e8 For Windows builds, fixes PLUGINSRCDIR, which needs to be "../../../src" (compared to "../../../src/plugins" on all other platforms).
^^^^^This is the Windows nonsense I referred to earlier. I doubt it actually needs to be this way; originally it was purely because Andreas refused to change the relevant make files.
tim -- tim Rowledge; tim@rowledge.org; http://www.rowledge.org/tim Fractured Idiom:- VISA LA FRANCE - Don't leave chateau without it