diff options
| -rw-r--r-- | otherlibs/bigarray/Makefile | 2 | ||||
| -rw-r--r-- | otherlibs/str/Makefile | 2 | ||||
| -rw-r--r-- | otherlibs/threads/Makefile | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/bigarray/Makefile b/otherlibs/bigarray/Makefile index 600f9863d..5da0d7931 100644 --- a/otherlibs/bigarray/Makefile +++ b/otherlibs/bigarray/Makefile @@ -52,7 +52,7 @@ partialclean: rm -f *.cm* clean: partialclean - rm -f libbigarray.* *.o bigarray.a + rm -f libbigarray.* *.o bigarray.a *.so .SUFFIXES: .ml .mli .cmo .cmi .cmx diff --git a/otherlibs/str/Makefile b/otherlibs/str/Makefile index 0d4fdc04c..a8c5e069b 100644 --- a/otherlibs/str/Makefile +++ b/otherlibs/str/Makefile @@ -47,7 +47,7 @@ partialclean: rm -f *.cm* clean: partialclean - rm -f *.a *.o + rm -f *.a *.so *.o cd $(REGEXLIB); if test -f Makefile; then $(MAKE) distclean; else exit 0; fi install: diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile index 1133128c0..e3782800b 100644 --- a/otherlibs/threads/Makefile +++ b/otherlibs/threads/Makefile @@ -91,7 +91,7 @@ partialclean: rm -f *.cm* clean: partialclean - rm -f libthreads.a *.o + rm -f libthreads.a dllthreads.so *.o rm -f pervasives.mli marshal.mli unix.mli install: |