diff options
Diffstat (limited to 'debugger/.depend')
| -rw-r--r-- | debugger/.depend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debugger/.depend b/debugger/.depend index 07a35e5464..3c219b63a5 100644 --- a/debugger/.depend +++ b/debugger/.depend @@ -111,12 +111,12 @@ main.cmo: unix_tools.cmi ../otherlibs/unix/unix.cmi time_travel.cmi \ show_information.cmi program_management.cmi primitives.cmi parameters.cmi \ ../utils/misc.cmi input_handling.cmi frames.cmi exec.cmi \ ../typing/env.cmi debugger_config.cmi ../utils/config.cmi \ - command_line.cmi checkpoints.cmi + command_line.cmi ../utils/clflags.cmi checkpoints.cmi main.cmx: unix_tools.cmx ../otherlibs/unix/unix.cmx time_travel.cmx \ show_information.cmx program_management.cmx primitives.cmx parameters.cmx \ ../utils/misc.cmx input_handling.cmx frames.cmx exec.cmx \ ../typing/env.cmx debugger_config.cmx ../utils/config.cmx \ - command_line.cmx checkpoints.cmx + command_line.cmx ../utils/clflags.cmx checkpoints.cmx parameters.cmo: primitives.cmi ../utils/misc.cmi envaux.cmi \ ../utils/config.cmi parameters.cmi parameters.cmx: primitives.cmx ../utils/misc.cmx envaux.cmx \ |