export PATH=$PATH:/bin:/sbin
# default values, tunable with command-line options
-DEFAULT_FCDISTRO=f41
+DEFAULT_FCDISTRO=f43
DEFAULT_PLDISTRO=lxc
DEFAULT_PERSONALITY=linux64
DEFAULT_MAILDEST="thierry.parmentelat at inria.fr"
default_arch = 'x86_64'
known_archs = ['i386', 'i686', 'x86_64']
-default_fcdistro = 'f41'
+default_fcdistro = 'f43'
known_fcdistros = [
'centos5', 'centos6',
# oldies but we have references to that in the pkgs files
# these ones are still relevant;
# f32 is mentioned to be able to use create-vms with that distro
# as we're running into issues to build a minimal f33 from a f29 host
- 'f29', 'f31', 'f32', 'f33', 'f35', 'f37', 'f39', 'f41',
+ 'f29', 'f31', 'f32', 'f33', 'f35', 'f37', 'f39', 'f41', 'f43',
# scientific linux
'sl6',
# debians