From 4947246107edcb6d9ae46aae470b849fdc3bfa11 Mon Sep 17 00:00:00 2001
From: Eric Blake <ebb9@byu.net>
Date: Thu, 20 Mar 2008 08:48:55 -0600
Subject: [PATCH] Actually delete GNUmakefile.cfg this time.

Signed-off-by: Eric Blake <ebb9@byu.net>
---
 GNUmakefile.cfg | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 GNUmakefile.cfg

diff --git a/GNUmakefile.cfg b/GNUmakefile.cfg
deleted file mode 100644
index be213f49..00000000
--- a/GNUmakefile.cfg
+++ /dev/null
@@ -1,7 +0,0 @@
-# This file is '-include'd into GNUmakefile.
-
-# Build with our own versions of these tools, when possible.
-export PATH = $(shell echo "`pwd`/tests:$$PATH")
-
-# Remove the autoreconf-provided INSTALL, so that we regenerate it.
-_autoreconf = autoreconf -i -v && rm -f INSTALL
-- 
2.47.2