--- layout: fc_discuss_archives title: Message 62 from Frama-C-discuss on February 2010 ---
> [jessie] user error: Jessie subprocess failed: make -f bin_copy.makefile gui > > Obviously the problem there is with 'make -f'. > > Any ideas for a possible solution? If by "solution" you mean "ugly workaround", how about inserting in your PATH the name of a directory with a shell script named "make" that calls: gmake "$@" Pascal