K 10 svn:author V 4 bapt K 8 svn:date V 27 2013-06-13T18:56:24.569380Z K 7 svn:log V 163 Previous attempt to fix the make patch with bmake (make it fail if a patch fails) was too intrusive. Turn it back into a full script with set -e expliticly added. END