Gregory Nutt
|
02c6672868
|
tools/refresh.sh: Update so that it can find the Make.defs file in the new location.
|
2017-07-15 08:18:56 -06:00 |
|
Gregory Nutt
|
a49ec44427
|
tools/refresh.sh: Now runs make savedefconfig before copying the new defconfig file in place; Also, added a new option --defaults. Since the number of defaults that you now have to answer is so large, the option lets you just accept the default values. So it works just like --slilent but still prompts you for the decision to save or discard the new defconfig file.
|
2017-07-10 09:53:55 -06:00 |
|
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 |
|