46fcb04d3624de978915ef0ccf57716ef208f735
Periods are allowed in Make variable names, which let us simplify a bit the Makefile. Based on a proposition by Antoine LECA Change-Id: I759d7dc7721905a4775e8ab28e0371e48a443f25
Description
No description provided