diff options
Diffstat (limited to 'otherlibs/str/.depend')
| -rw-r--r-- | otherlibs/str/.depend | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/otherlibs/str/.depend b/otherlibs/str/.depend deleted file mode 100644 index c93656bae4..0000000000 --- a/otherlibs/str/.depend +++ /dev/null @@ -1,7 +0,0 @@ -strstubs.o: strstubs.c ../../byterun/mlvalues.h ../../byterun/config.h \ - ../../config/m.h ../../config/s.h ../../byterun/misc.h \ - ../../byterun/alloc.h ../../byterun/memory.h ../../byterun/gc.h \ - ../../byterun/major_gc.h ../../byterun/freelist.h \ - ../../byterun/minor_gc.h ../../byterun/fail.h -str.cmo: str.cmi -str.cmx: str.cmi |