diff options
Diffstat (limited to 'scripts/libptxdist.sh')
| -rw-r--r-- | scripts/libptxdist.sh | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/scripts/libptxdist.sh b/scripts/libptxdist.sh index d86b7ee7b..d1687cd72 100644 --- a/scripts/libptxdist.sh +++ b/scripts/libptxdist.sh @@ -302,17 +302,8 @@ ptxd_kconfig() { "${conf}" --oldconfig "${file_kconfig}" fi ;; - allmodconfig) - "${conf}" --allmodconfig "${file_kconfig}" - ;; - allyesconfig) - "${conf}" --allyesconfig "${file_kconfig}" - ;; - allnoconfig) - "${conf}" --allnoconfig "${file_kconfig}" - ;; - randconfig) - "${conf}" --randconfig "${file_kconfig}" + all*config|randconfig) + "${conf}" --${config} "${file_kconfig}" ;; dep) copy_back="false" |