Ticket #14832: patch-configure.py.diff

File patch-configure.py.diff, 1.0 KB (added by mmoll@…, 17 years ago)
  • config/configure.py

    old new  
    116116      if name.find('=') == -1: sys.argv[l] = sys.argv[l]+'=0'
    117117      elif name.endswith('=1'): sys.argv[l].replace('=1','=0')
    118118
    119   # Check for sudo
    120   if os.getuid() == 0:
    121     print '================================================================================='
    122     print '             *** Do not run configure as root, or using sudo. ***'
    123     print '             *** Use the --with-sudo=sudo option to have      ***'
    124     print '             *** installs of external packages done with sudo ***'
    125     print '             *** use only with --prefix= when installing in   ***'
    126     print '             *** system directories                           ***'
    127     print '================================================================================='
    128     sys.exit(3)
    129 
    130119  # Check for broken cygwin
    131120  if chkbrokencygwin():
    132121    print '================================================================================='