X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2FMakefile;h=1485dfdbfef49b9e97b2e7803d791dc8ef2709ec;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=88b01fdc57ed1e46767bf1b5e8874f8296c971c0;hpb=257516df1ad90ec279f7a29510384f19b5d15341;p=helm.git

diff --git a/helm/metadata/Makefile b/helm/metadata/Makefile
index 88b01fdc5..1485dfdbf 100644
--- a/helm/metadata/Makefile
+++ b/helm/metadata/Makefile
@@ -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)