diff options
Diffstat (limited to 'otherlibs/dynlink/.depend')
| -rw-r--r-- | otherlibs/dynlink/.depend | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/otherlibs/dynlink/.depend b/otherlibs/dynlink/.depend deleted file mode 100644 index 251aef84c3..0000000000 --- a/otherlibs/dynlink/.depend +++ /dev/null @@ -1,10 +0,0 @@ -dynlink.cmo: ../../utils/config.cmi ../../utils/consistbl.cmi \ - ../../bytecomp/dll.cmi ../../bytecomp/emitcode.cmi \ - ../../bytecomp/meta.cmi ../../utils/misc.cmi ../../bytecomp/opcodes.cmo \ - ../../bytecomp/symtable.cmi dynlink.cmi -dynlink.cmx: ../../utils/config.cmx ../../utils/consistbl.cmx \ - ../../bytecomp/dll.cmx ../../bytecomp/emitcode.cmx \ - ../../bytecomp/meta.cmx ../../utils/misc.cmx ../../bytecomp/opcodes.cmx \ - ../../bytecomp/symtable.cmx dynlink.cmi -extract_crc.cmo: dynlink.cmi -extract_crc.cmx: dynlink.cmx |