From 888073d64d1885cae0ad8b5d54bfec31e9793e0a Mon Sep 17 00:00:00 2001
From: James R <justsomejames2@gmail.com>
Date: Tue, 4 May 2021 16:54:47 -0700
Subject: [PATCH] Fix make clean printing header

---
 src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index dafec3645a..8c31b212d7 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -285,7 +285,7 @@ ifndef SILENT
 # makefile will 'restart' when it finishes including the
 # dependencies.
 ifndef MAKE_RESTARTS
-ifndef destrutive
+ifndef destructive
 $(shell $(CC) -v)
 define flags =
 
-- 
GitLab