diff options
| -rw-r--r-- | otherlibs/labltk/tkanim/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/tkanim/Makefile b/otherlibs/labltk/tkanim/Makefile index be4e5ec36..0e841da77 100644 --- a/otherlibs/labltk/tkanim/Makefile +++ b/otherlibs/labltk/tkanim/Makefile @@ -37,7 +37,7 @@ $(OBJS) $(OBJS:.cmo=.cmi): ../lib/$(LIBNAME).cma $(OBJS:.cmo=.cmx): ../lib/$(LIBNAME).cmxa clean: - rm -f *.cm* *.o *.a dlltkanim.so animwish gifanimtest + rm -f *.cm* *.o *.a dlltkanim.so animwish gifanimtest gifanimtest-static .SUFFIXES : .SUFFIXES : .mli .ml .cmi .cmo .mlp .cmx .c .o |