diff makefile-frags/m0-to-bin-std @ 249:17f3647752ba

configure.sh: emit the config name into the generated Makefile
author Mychaela Falconia <falcon@freecalypso.org>
date Thu, 03 Aug 2017 04:40:00 +0000
parents 63c12cba5ed5
children 445ac5be0619
line wrap: on
line diff