Since 43d2a3fe, errors in make_tools were ignored. The syntax is now ugly, but it works.
Attach a file by drag & drop or click to upload
Mathieu Giraud authored