Skip to content

Commit

Permalink
print file to sanity check
Browse files Browse the repository at this point in the history
  • Loading branch information
critesjosh committed Dec 19, 2023
1 parent 1f96676 commit 150db32
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion update_contract.sh
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@ if [ $? -eq 0 ]; then
find "$copy_location/src" -type f -name "*.nr" | while read file; do
# Remove lines starting with '// docs:'
sed -i '/[ \t]*\/\/ docs:.*/d' "$file"

cat "$file"
echo "Comments removed from $file"
done
else
Expand Down

0 comments on commit 150db32

Please sign in to comment.