1,6 → 1,6 |
#!/usr/bin/env python |
""" |
User space configuration script |
Kernel configuration script |
""" |
import sys |
import os |
7,7 → 7,7 |
import re |
import commands |
|
INPUT = 'uspace.config' |
INPUT = 'kernel.config' |
OUTPUT = 'Makefile.config' |
TMPOUTPUT = 'Makefile.config.tmp' |
|
487,7 → 487,7 |
os.unlink(OUTPUT) |
os.rename(TMPOUTPUT, OUTPUT) |
|
if not defmode and dlg.yesno('Rebuild user space?') == 'y': |
if not defmode and dlg.yesno('Rebuild kernel?') == 'y': |
os.execlp('make','make','clean','build') |
|
if __name__ == '__main__': |