Browse Source

gensymbol: fix type

pull/3578/head
Owen Rafferty 4 years ago
parent
commit
33cdcb45e2
No known key found for this signature in database GPG Key ID: A68B10E2554DEBCB
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      exports/gensymbol

+ 1
- 1
exports/gensymbol View File

@@ -3751,7 +3751,7 @@ hplobjs="daxpy dcopy dscal idamax dgemv dtrsv dger dgemm dtrsm"

bu="$3"

if [ "$bu" -eq 0 ] || [ "$bu" -eq 1 ]; then
if [ "$bu" = "0" ] || [ "$bu" = "1" ]; then
bu=""
fi



Loading…
Cancel
Save