| 1585 | } |
| 1586 | |
| 1587 | static void refresh(void) |
| 1588 | { |
| 1589 | int ret; |
| 1590 | |
| 1591 | printf(" Refreshing...\n"); |
| 1592 | fflush(stdout); |
| 1593 | |
| 1594 | ret = run_make("olddefconfig"); |
| 1595 | putchar('\n'); |
| 1596 | |
| 1597 | #ifdef WEXITSTATUS |
| 1598 | if (ret < 0 || WEXITSTATUS(ret) != 0) |
| 1599 | #else |
| 1600 | if (ret < 0) |
| 1601 | #endif |
| 1602 | { |
| 1603 | fprintf(stderr, "ERROR: Failed to refresh configurations\n"); |
| 1604 | fprintf(stderr, " kconfig-conf --olddefconfig Kconfig\n"); |
| 1605 | } |
| 1606 | } |
| 1607 | |
| 1608 | static void save_original_config(void) |
| 1609 | { |