Subversion Repositories HelenOS-historic

Compare Revisions

Ignore whitespace Rev 1653 → Rev 1654

/boot/trunk/tools/config.py
1,6 → 1,6
#!/usr/bin/env python
"""
Kernel configuration script
Boot configuration script
"""
import sys
import os
7,7 → 7,7
import re
import commands
 
INPUT = 'kernel.config'
INPUT = 'boot.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 kernel?') == 'y':
if not defmode and dlg.yesno('Rebuild everything?') == 'y':
os.execlp('make','make','clean','build')
 
if __name__ == '__main__':