+
+ if [ "$timestamp_before" -a -f "$objdir/$KCONFIG_CONFIG" ]; then
+ timestamp_after=$(stat --printf="%Y" $objdir/$KCONFIG_CONFIG)
+
+ if [ "$timestamp_after" -gt "$timestamp_before" ]; then
+ # $objdir/.config has been updated.
+ # touch .config to invoke "make silentoldconfig"
+ touch $KCONFIG_CONFIG
+ fi
+ fi