UBUNTU: config -- add new config mode 'dumpconfigs'

[linux-flexiantxendom0-natty.git] / debian / scripts / misc / kernelconfig

diff --git a/debian/scripts/misc/kernelconfig b/debian/scripts/misc/kernelconfig
index 0ac7ce4..9dd1d5f 100755 (executable)
--- a/debian/scripts/misc/kernelconfig
+++ b/debian/scripts/misc/kernelconfig
@@ -18,6 +18,7 @@ case "$mode" in
     default*configs) mode='oldconfig'; yes=1 ;;
     edit*configs) ;; # All is good
     gen*configs)  ;; # All is good
+    dump*configs) mode='config'; yes=1 ;;
     *) echo "$0 called with invalid mode" 1>&2
        exit 1 ;;
 esac