Rev 1650 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1650 | Rev 1655 | ||
|---|---|---|---|
| Line 1... | Line 1... | ||
| 1 | #!/usr/bin/env python |
1 | #!/usr/bin/env python |
| 2 | """ |
2 | """ |
| 3 | Kernel configuration script |
3 | User space configuration script |
| 4 | """ |
4 | """ |
| 5 | import sys |
5 | import sys |
| 6 | import os |
6 | import os |
| 7 | import re |
7 | import re |
| 8 | import commands |
8 | import commands |
| 9 | 9 | ||
| 10 | INPUT = 'kernel.config' |
10 | INPUT = 'uspace.config' |
| 11 | OUTPUT = 'Makefile.config' |
11 | OUTPUT = 'Makefile.config' |
| 12 | TMPOUTPUT = 'Makefile.config.tmp' |
12 | TMPOUTPUT = 'Makefile.config.tmp' |
| 13 | 13 | ||
| 14 | class DefaultDialog: |
14 | class DefaultDialog: |
| 15 | "Wrapper dialog that tries to return default values" |
15 | "Wrapper dialog that tries to return default values" |
| Line 485... | Line 485... | ||
| 485 | 485 | ||
| 486 | if os.path.exists(OUTPUT): |
486 | if os.path.exists(OUTPUT): |
| 487 | os.unlink(OUTPUT) |
487 | os.unlink(OUTPUT) |
| 488 | os.rename(TMPOUTPUT, OUTPUT) |
488 | os.rename(TMPOUTPUT, OUTPUT) |
| 489 | 489 | ||
| 490 | if not defmode and dlg.yesno('Rebuild kernel?') == 'y': |
490 | if not defmode and dlg.yesno('Rebuild user space?') == 'y': |
| 491 | os.execlp('make','make','clean','build') |
491 | os.execlp('make','make','clean','build') |
| 492 | 492 | ||
| 493 | if __name__ == '__main__': |
493 | if __name__ == '__main__': |
| 494 | main() |
494 | main() |