diff options
| author | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2001-11-05 16:26:31 +0000 |
|---|---|---|
| committer | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2001-11-05 16:26:31 +0000 |
| commit | 4e4431eb8428fceed786def69bb1a5c9a5ca0dfa (patch) | |
| tree | 6b41d655f070067109343433c2c56ccef2c38754 | |
| parent | 2ba4aa94da88c98c589429062b58a32500cc51c1 (diff) | |
remove dll*.so
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3984 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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: |