diff options
| -rw-r--r-- | debugger/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index e1f6df0da..ffdee4e76 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -38,7 +38,7 @@ OTHEROBJS=\ ../typing/datarepr.cmo ../typing/env.cmo \ ../typing/ctype.cmo ../typing/printtyp.cmo ../typing/mtype.cmo \ ../bytecomp/runtimedef.cmo ../bytecomp/bytesections.cmo \ - ../bytecomp/dll.cmo ../bytecomp/symtable.cmo \ + ../bytecomp/dllpath.cmo ../bytecomp/dll.cmo ../bytecomp/symtable.cmo \ ../bytecomp/opcodes.cmo ../bytecomp/meta.cmo \ ../toplevel/genprintval.cmo \ ../otherlibs/dynlink/dynlink.cmo |