> because the make 3.81-8 in Debian testing has problems
> generating the .config file required for storing config
> data I'd like to ask if it's possible to change the file name
> to something not starting with a dot. The dot is misinterpreted
> as a directory reference. It shows the following error:
> make: *** /.config: Is a directory. Stop.
> Although this is clearly a make bug, it would be more easy to
> change the file name than adding something to the 70k bug
> heavy Debian bugzilla. I'd expect that more people would
> run into this problem when the file name continued to start
> with a dot.
It's not required to change the file name, only put quotation marks
around the file name:
--- Makefile (revision 2167)
+++ Makefile (working copy)
@@ -51,7 +51,7 @@
- -include $(ROOT)/.config
+ -include $(ROOT)/".config"
@@ -332,7 +332,7 @@
# Create the .config file if it does not exist
/bin/echo --- Creating $@...
> 73s Steve