diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/tools/tinderbox/tinderbox.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index 3d8fa63..c46a0bf 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -392,7 +392,6 @@ MAIN:{ '__MAKE_CONF' => "/dev/null", 'MAKEOBJDIRPREFIX' => "$sandbox/obj", - 'NO_KERNELCLEAN' => "YES", 'TARGET_ARCH' => $arch, 'TARGET_MACHINE' => $machine, |