From fe406dbaf19944634fa1ddb8231b7612cef934c6 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 24 May 2005 15:42:20 +0000 Subject: [PATCH] clean typo --- helm/ocaml/thread/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/thread/Makefile b/helm/ocaml/thread/Makefile index dfca8af0c..e39e5993c 100644 --- a/helm/ocaml/thread/Makefile +++ b/helm/ocaml/thread/Makefile @@ -23,6 +23,6 @@ thread_fake.cmxa: fake/threadSafe.cmi clean: clean_fake clean_fake: - rm -f fake/*.cm[aio] fake/*.cmxa fake/*.[ao] + rm -f fake/*.cm[aiox] fake/*.cmxa fake/*.[ao] rm -f thread_fake.cma thread_fake.cmxa -- 2.39.2