4 commits

Author	SHA1	Message	Date
Gregory Nutt	751e85eade	tools/: Scripts should use /bin/bash vs. /bin/sh	2016-03-28 18:18:30 -06:00
Gregory Nutt	fea11c002a	Build system: Add 'make oldconfig' target. Use this option in tools/testbuild.sh. Add --silent option to tools/refresh.sh so that it can be run in batch without human interaction	2016-03-08 16:50:58 -06:00
Gregory Nutt	28719a71da	Add prompt to refresh.sh	2014-08-30 07:00:52 -06:00
Gregory Nutt	b918b4b808	Add a tool to make refreshing configurations easier when you wnat to do a lot of them	2014-08-29 17:21:24 -06:00