reinstate spec2make.c, this is still needed for f14 builds unfortunately
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 27 Mar 2014 10:13:36 +0000 (11:13 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 27 Mar 2014 10:13:36 +0000 (11:13 +0100)
commitd0ab4a8eabcf9d8b2fb96e2b77ee1266b707f99f
treeb0e4212c7afabb93e274067e64dbc7a3693018fc
parentc36f66a53829c3908c22bb64acc24bcbeb8d454b
reinstate spec2make.c, this is still needed for f14 builds unfortunately
Makefile
spec2make.c [new file with mode: 0644]