K 10
svn:author
V 7
mandree
K 8
svn:date
V 27
2012-12-18T08:14:02.768731Z
K 7
svn:log
V 238
Work around empty build on some systems, by using GNU make.
The reason is probably something else, but I have not found it yet in debugging.
Feel free to debug and fix the real problem and then (only then) remove
the USE_GMAKE=yes again.

END