diffconfig.sh 1.1 KB

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