diffconfig.sh 801 B

12345678910111213
  1. #!/bin/sh
  2. grep \^CONFIG_TARGET_ .config | head -n3 > tmp/.diffconfig.head
  3. grep '^CONFIG_ALL=y' .config >> tmp/.diffconfig.head
  4. grep '^CONFIG_ALL_KMODS=y' .config >> tmp/.diffconfig.head
  5. grep '^CONFIG_DEVEL=y' .config >> tmp/.diffconfig.head
  6. grep '^CONFIG_TOOLCHAINOPTS=y' .config >> tmp/.diffconfig.head
  7. grep '^CONFIG_BUSYBOX_CUSTOM=y' .config >> tmp/.diffconfig.head
  8. ./scripts/config/conf --defconfig=tmp/.diffconfig.head -w tmp/.diffconfig.stage1 Config.in >/dev/null
  9. ./scripts/kconfig.pl '>+' tmp/.diffconfig.stage1 .config >> tmp/.diffconfig.head
  10. ./scripts/config/conf --defconfig=tmp/.diffconfig.head -w tmp/.diffconfig.stage2 Config.in >/dev/null
  11. ./scripts/kconfig.pl '>' tmp/.diffconfig.stage2 .config >> tmp/.diffconfig.head
  12. cat tmp/.diffconfig.head
  13. rm -f tmp/.diffconfig tmp/.diffconfig.head