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() |