From 6cc8d3d7ae7bf29706edbcb1a2f72f23ca9cc108 Mon Sep 17 00:00:00 2001
From: Ettore Di Giacinto <mudler@gentoo.org>
Date: Sat, 3 Feb 2018 22:56:16 +0100
Subject: [PATCH] switch default profile

---
 builder | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/builder b/builder
index ae1b7eb..cc83733 100755
--- a/builder
+++ b/builder
@@ -5,7 +5,7 @@ use v5.10;
 no feature "say";
 use Storable 'dclone';
 
-my $profile           = $ENV{BUILDER_PROFILE}   // 3;
+my $profile           = $ENV{BUILDER_PROFILE}   // 16;
 my $jobs              = $ENV{BUILDER_JOBS}      // 1;
 my $use_equo          = $ENV{USE_EQUO}          // 1;
 my $preserved_rebuild = $ENV{PRESERVED_REBUILD} // 0;