From c72f7101c9d2c34f12755b985b3558801955308c Mon Sep 17 00:00:00 2001
From: Alexey Neyman <stilor@att.net>
Date: Tue, 21 Feb 2017 23:10:24 -0800
Subject: [PATCH] Kill a generated file

... and add it to .gitignore.

Signed-off-by: Alexey Neyman <stilor@att.net>
---
 scripts/.gitignore |  1 +
 scripts/scripts.mk | 64 ----------------------------------------------
 2 files changed, 1 insertion(+), 64 deletions(-)
 delete mode 100755 scripts/scripts.mk

diff --git a/scripts/.gitignore b/scripts/.gitignore
index a38259b8..7abc2a75 100644
--- a/scripts/.gitignore
+++ b/scripts/.gitignore
@@ -1,3 +1,4 @@
 crosstool-NG.sh
 saveSample.sh
 showConfig.sh
+scripts.mk
diff --git a/scripts/scripts.mk b/scripts/scripts.mk
deleted file mode 100755
index 42aacab6..00000000
--- a/scripts/scripts.mk
+++ /dev/null
@@ -1,64 +0,0 @@
-# Makefile for the scripts/ sub-directory
-
-# Here, we can update the config.* scripts.
-# If we're in CT_LIB_DIR, then CT_LIB_DIR == CT_TOP_DIR, and we can update those
-# scripts for later inclusion mainline. If CT_LIB_DIR != CT_TOP_DIR, then those
-# scripts are downloaded only for use in CT_TOP_DIR.
-
-# ----------------------------------------------------------
-# The tools help entry
-
-help-distrib::
-	@echo  '  updatetools        - Update the config tools'
-
-# ----------------------------------------------------------
-# Where to get tools from, and where to store them into
-# The tools are: config.guess and config.sub
-
-CONFIG_SUB_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD"
-CONFIG_SUB_DEST=scripts/config.sub
-CONFIG_GUESS_SRC="http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD"
-CONFIG_GUESS_DEST=scripts/config.guess
-
-PHONY += updatetools
-updatetools: $(CONFIG_SUB_DEST) $(CONFIG_GUESS_DEST)
-
-# ----------------------------------------------------------
-# How to retrieve the tools
-
-ifneq ($(strip $(V)),2)
-  wget_silent_opt = -o /dev/null
-  curl_silent_opt = --silent
-endif
-
-ifneq (wget,)
-download_cmd = wget --passive-ftp $(wget_silent_opt) -O $@
-else
-ifneq (curl,)
-download_cmd = curl --ftp-pasv $(curl_silent_opt) -o $@
-else
-download_cmd = $(error wget or curl needed for downloads)
-endif
-endif
-
-PHONY += scripts
-scripts:
-	@$(CT_ECHO) '  MKDIR $@'
-	$(SILENT)mkdir -p $@
-
-$(CONFIG_SUB_DEST): scripts FORCE
-	@$(CT_ECHO) '  DOWNLOAD  $@'
-	$(SILENT)$(download_cmd) $(CONFIG_SUB_SRC)
-	$(SILENT)chmod u+rwx,go+rx-w $@
-
-$(CONFIG_GUESS_DEST): scripts FORCE
-	@$(CT_ECHO) '  DOWNLOAD  $@'
-	$(SILENT)$(download_cmd) $(CONFIG_GUESS_SRC)
-	$(SILENT)chmod u+rwx,go+rx-w $@
-
-# ----------------------------------------------------------
-# Clean up the mess
-
-distclean::
-	@$(CT_ECHO) "  CLEAN scripts"
-	$(SILENT)[ $(CT_TOP_DIR) = $(CT_LIB_DIR) ] || rm -rf $(CT_TOP_DIR)/scripts