From dc8a1afa6357662736fdf7d4eb73cf65bc7ccde1 Mon Sep 17 00:00:00 2001
From: Martin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Date: Sun, 11 Oct 2020 23:53:50 +0200
Subject: [PATCH] Rename "HALF" and "sh" to "BFLOAT16" and "sb"

---
 kernel/x86_64/KERNEL | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/x86_64/KERNEL b/kernel/x86_64/KERNEL
index d75196974..4f110f0bf 100644
--- a/kernel/x86_64/KERNEL
+++ b/kernel/x86_64/KERNEL
@@ -146,8 +146,8 @@ ifndef XDOTKERNEL
 XDOTKERNEL = zdot.S
 endif
 
-ifndef SHDOTKERNEL
-SHDOTKERNEL = shdot.c
+ifndef SBDOTKERNEL
+SBDOTKERNEL = sbdot.c
 endif
 
 ifndef TOBF16KERNEL