]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/Makefile
ocaml 3.09 transition
[helm.git] / helm / metadata / Makefile
index 88b01fdc57ed1e46767bf1b5e8874f8296c971c0..1485dfdbfef49b9e97b2e7803d791dc8ef2709ec 100644 (file)
@@ -27,7 +27,8 @@ indexes:
        cat $(ALLOBJECTS) | grep -v "\\.ind$$" > $(CONSTANTSANDVARIABLES)
 
 drop_tables:
-       cat sql/drop_mowgli_tables.sql | $(DBCOMM)
+       #cat sql/drop_mowgli_tables.sql | $(DBCOMM)
+       cat sql/drop_mowgli_tables.mysql.sql | $(DBCOMM)
 
 create_tables:
        #cat sql/create_mowgli_tables.sql | $(DBCOMM)