From 33cdcb45e29fb1159fb42d0e673833956f49f50a Mon Sep 17 00:00:00 2001
From: Owen Rafferty <owen@owenrafferty.com>
Date: Mon, 28 Mar 2022 20:17:35 -0500
Subject: [PATCH] gensymbol: fix type

---
 exports/gensymbol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/exports/gensymbol b/exports/gensymbol
index 322ddf14b..d973a57b8 100755
--- a/exports/gensymbol
+++ b/exports/gensymbol
@@ -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