list the files

This commit is contained in:
drewdaemon 2025-03-19 09:46:46 -06:00
parent 08f4b1b5d5
commit 1b2a9e713d

View file

@ -12,6 +12,8 @@ synchronize_lexer_grammar () {
cp "$source_file" "$destination_file"
cp -r "$source_lib_dir" "$destination_lib_dir"
ls -l "$destination_lib_dir"
# Insert the license header
temp_file=$(mktemp)
printf "// DO NOT MODIFY THIS FILE BY HAND. IT IS MANAGED BY A CI JOB.\n\n%s" "$(cat $destination_file)" > "$temp_file"