tools/update_configs: name says it all

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

tools/update_configs: name says it all
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
c7d2c711 · Alessandro Rubini · Adam Wujek · affb4139 · c7d2c711
Commit c7d2c711 authored Dec 03, 2016 by Alessandro Rubini Committed by Adam Wujek Jan 30, 2017
Hide whitespace changes
Inline Side-by-side

Showing with 11 additions and 0 deletions

update_configs tools/update_configs +11 -0

No files found.
--- a/tools/update_configs
+++ b/tools/update_configs
+#!/bin/bash
+
+# Use ./tools/update_configs
+
+for n in configs/*; do
+    b=$(basename $n)
+    echo; echo; echo "            #### Updating $b ######"; echo
+    cp $n .config
+    make oldconfig
+    cp .config $n
+done
\ No newline at end of file