[Trennmuster] make pattern-trad

[Werner LEMBERG]

>> Kannst du mal
>>
>>   make pattern-trad > trad.log
>>
>> ausführen, irgendwann abbrechen und trad.log anhängen?
>
> Im Anhang.

Ich glaube, ich habe einen Fehler im Makefile entdeckt.  Ersetze bitte
die Zeile

  SH = sh

mit

  SH = bash

und probier's nocheinmal.  Das garantiert, daß »bash« für die
Ausführung von »make-full-pattern.sh« verwendet wird.  Wenn das nicht
hilft, ersuche ich Dich, »make-full-pattern.sh« manuell aufzurufen
(Anleitung ist im Skript):

  bash -x make-full-pattern.sh ... &> make-full-pattern.log


    Werner