- 'f8', 'f10','f12', 'f14', 'f16', 'f17',
+ 'f8', 'f10','f12', 'f14', 'f16', 'f18',
- 'lenny','squeeze','wheezy','jessie' ]
+ # debians
+ 'squeeze','wheezy',
+ # ubuntus
+ 'oneiric', 'precise', 'quantal', 'raring' ]
default_pldistro='onelab'
known_keywords=['groupname', 'groupdesc',
default_pldistro='onelab'
known_keywords=['groupname', 'groupdesc',
print >> stderr, 'Unsupported arch',options.arch
parser.print_help(file=stderr)
sys.exit(1)
print >> stderr, 'Unsupported arch',options.arch
parser.print_help(file=stderr)
sys.exit(1)
if not options.fcdistro in known_fcdistros:
print >> stderr, 'Unsupported fcdistro',options.fcdistro
parser.print_help(file=stderr)
if not options.fcdistro in known_fcdistros:
print >> stderr, 'Unsupported fcdistro',options.fcdistro
parser.print_help(file=stderr)