diffconfig.sh 999 B

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