Changeset 839470f in mainline for tools/config.py


Ignore:
Timestamp:
2005-12-07T14:29:42Z (20 years ago)
Author:
Ondrej Palkovsky <ondrap@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
45ab770
Parents:
05e2a7ad
Message:

Clean up of build system. Use:
make config
make
make clean

File:
1 edited

Legend:

Unmodified
Added
Removed

  • tools/config.py

    r05e2a7ad r839470f  
    138138
    139139        os.close(outdesc)
    140         errout = os.fdopen(indesc,'r')
    141         data = errout.read()
    142         errout.close()
    143            
    144         pid,status = os.wait()
     140       
     141        try:
     142            errout = os.fdopen(indesc,'r')
     143            data = errout.read()
     144            errout.close()
     145            pid,status = os.wait()
     146        except:
     147            os.system('reset') # Reset terminal
     148            raise
     149       
    145150        if not os.WIFEXITED(status):
     151            os.system('reset') # Reset terminal
    146152            raise EOFError
     153       
    147154        status = os.WEXITSTATUS(status)
    148155        if status == 255:
    … …  
    151158       
    152159    def yesno(self, text, default=None):
    153         text = text + ':'
     160        if text[-1] not in ('?',':'):
     161            text = text + ':'
    154162        width = '50'
    155163        height = '5'
    … …  
    405413        os.unlink(OUTPUT)
    406414    os.rename(TMPOUTPUT, OUTPUT)
    407        
     415   
     416    if not defmode and dlg.yesno('Rebuild kernel?') == 'y':
     417        os.execlp('make','make','clean','all')
    408418
    409419if __name__ == '__main__':
Note: See TracChangeset for help on using the changeset viewer.