diff options
Diffstat (limited to 'otherlibs/bigarray/.depend')
| -rw-r--r-- | otherlibs/bigarray/.depend | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/otherlibs/bigarray/.depend b/otherlibs/bigarray/.depend index 6bf3d6702..fed04b50b 100644 --- a/otherlibs/bigarray/.depend +++ b/otherlibs/bigarray/.depend @@ -6,10 +6,6 @@ bigarray_stubs.o: bigarray_stubs.c ../../byterun/alloc.h \ ../../byterun/fix_code.h ../../byterun/memory.h ../../byterun/gc.h \ ../../byterun/major_gc.h ../../byterun/freelist.h \ ../../byterun/minor_gc.h -mmap_stub.o: mmap_stub.c bigarray.h ../../byterun/mlvalues.h \ - ../../byterun/config.h ../../byterun/../config/m.h \ - ../../byterun/../config/s.h ../../byterun/misc.h \ - ../../byterun/custom.h ../../byterun/fail.h ../../byterun/sys.h mmap_unix.o: mmap_unix.c bigarray.h ../../byterun/mlvalues.h \ ../../byterun/config.h ../../byterun/../config/m.h \ ../../byterun/../config/s.h ../../byterun/misc.h \ |