]> matita.cs.unibo.it Git - helm.git/commitdiff
clean typo
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 May 2005 15:42:20 +0000 (15:42 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 May 2005 15:42:20 +0000 (15:42 +0000)
helm/ocaml/thread/Makefile

index dfca8af0c69b2248478ff4c45b9ec551a8dde534..e39e5993c7c729ee24b5f21ea78406fa58458096 100644 (file)
@@ -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