Advertisement
svenhoefer

Untitled

Nov 27th, 2017
373
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.25 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. cat src/gui/widget/icons.h | \
  4. while read define name icon; do
  5.     if [ "$define" != "#define" -o "$name" = "__gui_widget_icons_h__" ]; then
  6.         continue
  7.     fi
  8.     if [ $(git grep -l "$name" | wc -l) -le 1 ]; then
  9.         echo "unused: $name"
  10.     fi
  11. done
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement