diff options
| author | Erich Eckner <git@eckner.net> | 2019-11-08 20:33:07 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-11-08 20:33:07 +0100 |
| commit | b4bde5c4aba28035e0b8021f43a0ee3753c85057 (patch) | |
| tree | 668a7114a7483853f5993abb9d29cebf7eb9c46a /bin | |
| parent | 66f69f422b80cc28e93d9e54b7bd7fcd996daae0 (diff) | |
| download | builder-b4bde5c4aba28035e0b8021f43a0ee3753c85057.tar.xz | |
bin/check-mirrors: fix CAST
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/check-mirrors | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/check-mirrors b/bin/check-mirrors index d0cb2cd..64dc844 100755 --- a/bin/check-mirrors +++ b/bin/check-mirrors @@ -73,7 +73,7 @@ if [ $# -eq 0 ]; then 'active' | \ sed 's/,$//' printf ') set ' - printf '`%s`=CAST(`%s` AS SIGNED),' \ + printf '`%s`=CAST(@%s AS SIGNED),' \ 'isos' 'isos' \ 'ipv4' 'ipv4' \ 'ipv6' 'ipv6' \ |