96 |
# try to import <hostname>_options |
# try to import <hostname>_options |
97 |
if usegcc==0: |
if usegcc==0: |
98 |
import socket |
import socket |
99 |
hostname = socket.gethostname().split('.')[0] |
from string import ascii_letters,digits |
100 |
|
hostname="" |
101 |
|
for s in socket.gethostname().split('.')[0]: |
102 |
|
if s in ascii_letters+digits: |
103 |
|
hostname+=s |
104 |
|
else: |
105 |
|
hostname+="_" |
106 |
try: |
try: |
107 |
exec "from "+hostname+"_options import *" |
exec "from "+hostname+"_options import *" |
108 |
except ImportError: |
except ImportError: |