]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/meta/Makefile
don't remove METAs on clean, but on distclean
[helm.git] / helm / hbugs / meta / Makefile
index 4d855ef54f33b24fa679ba1e5561f97ee81df870..af3f3f74bb810a84f8c27dc40ec2ab2e7170701e 100644 (file)
@@ -8,5 +8,5 @@ META.hbugs-thread-safe: META.hbugs-thread-safe.in
 META.hbugs-client: META.hbugs-client.in
        sed 's%@HBUGS_CLIENT_DIR@%$(CURDIR)/../client%' < $< > $@
 clean:
-       rm -f $(META)
 distclean: clean
+       rm -f $(META)