diff options
Diffstat (limited to 'otherlibs/str')
| -rw-r--r-- | otherlibs/str/.depend | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/otherlibs/str/.depend b/otherlibs/str/.depend index 70671c2f8d..c93656bae4 100644 --- a/otherlibs/str/.depend +++ b/otherlibs/str/.depend @@ -1,5 +1,7 @@ -strstubs.o: strstubs.c ../../config/s.h ../../byterun/misc.h \ - ../../byterun/gc.h ../../byterun/major_gc.h ../../byterun/freelist.h \ - ../../byterun/minor_gc.h +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 |