Gregory Nutt 9eca03b9be tools/configure.sh: Another fix for the script. The last change only worked for Windows Cygwin; for Linux, it needed to remove some additional things from the defconfig file.		2017-10-01 14:24:57 -06:00
..
defconfig	tools/configure.sh: Another fix for the script. The last change only worked for Windows Cygwin; for Linux, it needed to remove some additional things from the defconfig file.	2017-10-01 14:24:57 -06:00