From 1deed20309c75d4970d688faec136e68e78f7622 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sat, 21 Feb 2026 21:09:43 +0100 Subject: chore: update booster script. Signed-off-by: Amlal El Mahrouss --- booster.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/booster.pl b/booster.pl index e7d9b04..36e49f3 100755 --- a/booster.pl +++ b/booster.pl @@ -21,7 +21,7 @@ for my $path (@ARGV) { } } -make_path("boostified/include/boost/fix"); +make_path("boostified/include/boost/ocl/fix"); for my $file (@files) { process_file($file); @@ -58,7 +58,7 @@ sub process_file { if ($content ne $original) { my $reldir = substr($srcdir, length($ARGV[0]) + 1); - my $outdir = "boostified/include/boost/$reldir"; + my $outdir = "boostified/include/boost/ocl/fix/$reldir"; make_path($outdir) unless -d $outdir; open(my $out, '>', "$outdir/$name") or die "Cannot write $outdir/$name: $!\n"; -- cgit v1.2.3