diff options
| -rw-r--r-- | otherlibs/labltk/lib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/lib/Makefile b/otherlibs/labltk/lib/Makefile index 9a1e1003f..25328c881 100644 --- a/otherlibs/labltk/lib/Makefile +++ b/otherlibs/labltk/lib/Makefile @@ -5,7 +5,7 @@ all: $(LIBNAME).cma $(LIBNAME)top$(EXE) $(LIBNAME) opt: $(LIBNAME).cmxa clean: - rm -f $(LIBNAME).cma $(LIBNAME).cmxa $(LIBNAME)top$(EXE) $(LIBNAME) *.a + rm -f $(LIBNAME)top$(EXE) $(LIBNAME) *.cm* *.a include ../labltk/modules LABLTKOBJS=tk.cmo $(WIDGETOBJS) |