archive-gh-me/Espruino
1
0
Fork 0
mirror of https://github.com/espruino/Espruino.git synced 2025-12-08 19:06:15 +00:00
Code Issues Projects Releases Wiki Activity

update diag tool to handle duplicate entries

Browse Source
This commit is contained in:
Gordon Williams 2018-09-26 16:31:17 +01:00
parent 9387f9c34a
commit e6f9712173
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/find_big_rom.sh
View File

@ -10,4 +10,4 @@ then
exit 1 exit 1
fi fi
grep "^0[08]...... [^<]" $1 | sort --key=4 grep "^0[08]...... [^<]" $1 | sort -u -k1,1 | sort --key=4