From ba85d23719ff17afe641b4476d376b5c29432132 Mon Sep 17 00:00:00 2001 From: kojix2 <2xijok@gmail.com> Date: Sun, 21 Jul 2024 09:49:37 +0900 Subject: [PATCH] Add newline at the end in dev script --- scripts/utils.rb | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/scripts/utils.rb b/scripts/utils.rb index b3f5e86..81d1627 100644 --- a/scripts/utils.rb +++ b/scripts/utils.rb @@ -16,6 +16,8 @@ def extract_api(file, prefix) .map { _1.gsub(/^.*#{prefix} (.*)$/, '\1') } .tap { puts "#{file}: #{_1.size} lines".yellow } .join("\n") + .chomp + .+("\n") end def extract_ffi(file) @@ -29,4 +31,6 @@ def extract_ffi(file) .map { _1.gsub(/^.*try_extern '([^']+)'.*$/, '\1') } .tap { puts "#{file}: #{_1.size} lines".yellow } .join("\n") + .chomp + .+("\n") end