1 files changed, 3 insertions, 0 deletions
diff --git a/check_ops.sh b/check_ops.sh
index b1f2f8500c..1c9cf87e36 100755
--- a/check_ops.sh
+++ b/check_ops.sh
@@ -35,6 +35,9 @@ case $machine in
   mips*)
     ret='\tjr.*ra'
     ;;
+  s390*)
+    ret='\tbr.*'
+    ;;
   *)
     echo "Unknown machine `uname -m`"
     ;;