DEBUG

DOMjudge · Aug 25, 2024 · e8366e3 · e8366e3
1 parent 9f12b77
commit e8366e3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/sql/dj_setup_database.in b/sql/dj_setup_database.in
@@ -76,6 +76,7 @@ mysql_options()
 # Wrapper around mysql command to allow setting options, user, etc.
 mysql()
 {
+	verbose mysql $(mysql_options) --silent --skip-column-names "$@"
 	command mysql $(mysql_options) --silent --skip-column-names "$@"
 }