-
Christian Kandeler authored
This is a workaround for user mistakes and should not be generally done. It can result in e.g. redundant relinking. Change-Id: Ia14854c9d260f5d7a8175d105b9bce896fcdeebf Reviewed-by: Joerg Bornemann <joerg.bornemann@digia.com>
ba31ab45