Project

General

Profile

Revision 45f0f48d src/backends/C/c_backend_makefile.ml

View differences:

src/backends/C/c_backend_makefile.ml
70 70
  fprintf fmt "@.";
71 71

  
72 72
  (* Main binary *)
73
  fprintf fmt "%s_%s:@." basename nodename;
73
  fprintf fmt "%s_%s: %s.c %s_main.c@." basename nodename basename basename;
74 74
  fprintf fmt "\t${GCC} -O0 -I${INC} -I. -c %s.c@." basename;  
75 75
  fprintf fmt "\t${GCC} -O0 -I${INC} -I. -c %s_main.c@." basename;   
76 76
  fprintf_dependencies fmt dependencies;    

Also available in: Unified diff