clippy the original clipper

This commit is contained in:
Richard Feldman 2020-04-01 00:03:27 -04:00
parent dfa514c1fe
commit 63b38ae174
3 changed files with 4 additions and 5 deletions

View file

@ -7,7 +7,7 @@ if ($num_args != 1) {
}
my $filename = $ARGV[0];
my $before_bitcode = "// GENERATED FILE - NEVER EDIT BY HAND!\n//\n// See compiler/builtins/bitcode/README.md for how to generate.\n\npub const BUILTINS_BITCODE: &'static [u8] = &[\n ";
my $before_bitcode = "// GENERATED FILE - NEVER EDIT BY HAND!\n//\n// See compiler/builtins/bitcode/README.md for how to generate.\n\npub const BUILTINS_BITCODE: &[u8] = &[\n ";
my $after_bitcode = "\n];";
# Get a filehandle to the raw binary data in the file