From fc45a03e3eba63a4761c906ebb3b730398544033 Mon Sep 17 00:00:00 2001
From: KiritoDv <kiritodev01@gmail.com>
Date: Wed, 4 Oct 2023 21:48:23 -0600
Subject: [PATCH] Removed remaining makefile file

---
 util.mk | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 util.mk

diff --git a/util.mk b/util.mk
deleted file mode 100644
index 75af9817..00000000
--- a/util.mk
+++ /dev/null
@@ -1,16 +0,0 @@
-# util.mk - Miscellaneous utility functions for use in Makefiles
-
-# Throws an error if the value of the variable named by $(1) is not in the list given by $(2)
-define validate-option
-  # value must be part of the list
-  ifeq ($$(filter $($(1)),$(2)),)
-    $$(error Value of $(1) must be one of the following: $(2))
-  endif
-  # value must be a single word (no whitespace)
-  ifneq ($$(words $($(1))),1)
-    $$(error Value of $(1) must be one of the following: $(2))
-  endif
-endef
-
-# Returns the path to the command $(1) if exists. Otherwise returns an empty string.
-find-command = $(shell which $(1) 2>/dev/null)