# HG changeset patch # User Markus Mützel # Date 1643795473 -3600 # Node ID ab374e20914612a46c1104104a9bf1b2b10fe10b # Parent 9ad410b8480c98bbca05a3c3c17855c1cae46063# Parent a6dfda8450d660b3140eb92de061578f981bc34c maint: Merge stable to default. diff -r 9ad410b8480c -r ab374e209146 scripts/pkg/private/configure_make.m --- a/scripts/pkg/private/configure_make.m Sat Jan 29 17:13:17 2022 -0300 +++ b/scripts/pkg/private/configure_make.m Wed Feb 02 10:51:13 2022 +0100 @@ -84,7 +84,6 @@ cmd = ["cd '" src "'; " scenv " ./configure " flags]; [status, output] = shell (cmd, verbose); if (status != 0) - sts = rmdir (desc.dir, "s"); disp (output); error ("pkg: error running the configure script for %s", desc.name); endif @@ -101,7 +100,6 @@ [status, output] = shell (sprintf ("%s make --jobs %i --directory '%s'", scenv, jobs, src), verbose); if (status != 0) - sts = rmdir (desc.dir, "s"); disp (output); error ("pkg: error running 'make' for the %s package", desc.name); endif