scripts: config: remove accidentally added file

Also ignore the file.

Signed-off-by: Álvaro Fernández Rojas <[email protected]>

diff --git a/scripts/config/.gitignore b/scripts/config/.gitignore
index 737c5b7953a4ca490c326707305ba7850ef56c19..bedb9757ef3763c61ec133125d988cb3050500b8 100644 (file)
--- a/scripts/config/.gitignore
+++ b/scripts/config/.gitignore
@@ -3,6 +3,7 @@
 #
 *.moc
 *conf-cfg
+mconf_check
 
 #
 # configuration programs

diff --git a/scripts/config/mconf_check b/scripts/config/mconf_check
deleted file mode 100644 (file)
index e69de29..0000000