changer une option dans un makefile avec un script bash

Version imprimable