Generate .gitignore file for tools directory

diff --git a/tools/Makefile b/tools/Makefile
index 9e58e5b9aaa5a4ec640c3af642335bfe02121ca7..bdc8ecbe2790032f0cd2035ba3fcb47eb7c06721 100644 (file)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -2,6 +2,7 @@
 
 u=/usr
 MDEC=  /usr/mdec
+GEN_FILES=     *.bak image kernel *.iso *.iso.gz cdfdimage rootimage src
 
 # Specify the programs that are part of the system image.
 PROGRAMS=      kernel \
@@ -65,9 +66,12 @@ image:  includes services
 includes:
        $(MAKE) -C .. includes
 
-depend: includes
+depend: includes .gitignore
        $(MAKE) -C ../ depend
 
+.gitignore: Makefile
+       echo $(GEN_FILES) | tr ' ' '\n' >.gitignore
+
 services: includes kernel servers .WAIT drivers
 
 kernel: includes
@@ -101,7 +105,7 @@ clean:
        $(MAKE) -C ../kernel $@
        $(MAKE) -C ../servers $@
        $(MAKE) -C ../drivers $@
-       rm -rf *.bak image kernel *.iso *.iso.gz cdfdimage rootimage src
+       rm -rf $(GEN_FILES)
 
 cleandepend::
        $(MAKE) -C ../kernel $@