[Jenkins]Jenkins

SuccessChanges

Summary

  1. Makefile: workaround to unbreak the builds (how to fix it properly?)
Changeset 12576:221152120589 by alex@thinkpad:
Makefile: workaround to unbreak the builds<br>(how to fix it properly?)
The file was modifiedplatform/Makefile.platform.base (diff)