From 8450c666c3098a36daa44629fd8f9f480c0faf89 Mon Sep 17 00:00:00 2001 From: Hauke D Date: Tue, 14 Aug 2018 15:18:58 +0200 Subject: [PATCH] build.pl --remakeout should remake emperl.js too --- build/build.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/build.pl b/build/build.pl index e302cd3..094c3cf 100755 --- a/build/build.pl +++ b/build/build.pl @@ -369,7 +369,7 @@ if ($needs_reconfig || !-e $destdir || $opts{remakeout}) { { say STDERR "# Making emperl.js..."; - if ($opts{forceemperl}) + if ($opts{forceemperl} || $opts{remakeout}) { $C{PERLSRCDIR}->file('emperl.js')->remove or die "failed to delete emperl.js" } my $d = pushd($C{PERLSRCDIR});