diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-05 13:46:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-05 13:46:52 +0200 |
| commit | 8419985bbd0bf4029c24eb0e3679b3fe2c3cd2aa (patch) | |
| tree | 73312b4b90d0e01337a9da582bc217d107d9a300 | |
| parent | cfb2186ac775752ba45d66f372ac367694fc4f31 (diff) | |
| download | builder-8419985bbd0bf4029c24eb0e3679b3fe2c3cd2aa.tar.xz | |
lib/mysql-functions: check `binary_packages`
| -rwxr-xr-x | lib/mysql-functions | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/mysql-functions b/lib/mysql-functions index 6ff541c..f7e02fb 100755 --- a/lib/mysql-functions +++ b/lib/mysql-functions @@ -771,10 +771,9 @@ mysql_sanity_check() { sort > \ "${temp_dir}/mysql-packages-pool" -# TODO: activate that check diff -u \ "${temp_dir}/master-mirror-pool" \ - "${temp_dir}/mysql-packages-pool" >&2 + "${temp_dir}/mysql-packages-pool" ) } |