From 70d0d0889b0c72bcdeb0658335094f61105f8b02 Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Sat, 12 Mar 2022 09:25:29 -0500
Subject: Remove old build files

---
 make/proxy.mk | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 make/proxy.mk

(limited to 'make/proxy.mk')

diff --git a/make/proxy.mk b/make/proxy.mk
deleted file mode 100644
index 16831862..00000000
--- a/make/proxy.mk
+++ /dev/null
@@ -1,10 +0,0 @@
-THIS=$(notdir $(abspath .))
-
-all:
-	$(MAKE) -C .. build_$(THIS)
-
-check:
-	$(MAKE) -C .. check_$(THIS)
-
-clean:
-	$(MAKE) -C .. clean_$(THIS)
-- 
cgit v1.2.3-70-g09d2