Changeset b3d1e11 in mainline

Timestamp:

2006-06-07T20:49:09Z (19 years ago)

Author:

Ondrej Palkovsky <ondrap@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

e209fc96

Parents:

b2951e2

Message:

Fix bad fix.

File:

• tools/config.py (modified) (3 diffs)

tools/config.py

@@ -1 +1 @@
 #!/usr/bin/env python
 """
-Kernel configuration script
+User space configuration script
 """
 import sys
@@ -8 +8 @@
 import commands
 
-INPUT = 'kernel.config'
+INPUT = 'uspace.config'
 OUTPUT = 'Makefile.config'
 TMPOUTPUT = 'Makefile.config.tmp'
@@ -488 +488 @@
     os.rename(TMPOUTPUT, OUTPUT)
     
-    if not defmode and dlg.yesno('Rebuild kernel?') == 'y':
+    if not defmode and dlg.yesno('Rebuild user space?') == 'y':
         os.execlp('make','make','clean','build')