Gregory Nutt
|
f9829db939
|
toos/refresh.sh: Recent complexities added to apps/ means that configuratino needs corred Make.defs file in place in order to configure properly
|
2016-07-28 11:58:40 -06:00 |
|
Gregory Nutt
|
f5bddca2a2
|
tools/refresh.sh: Fix USAGE comments
|
2016-06-09 09:25:18 -06:00 |
|
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 |
|