diff options
| author | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2017-01-09 19:46:11 +0700 |
|---|---|---|
| committer | David Spencer <idlemoor@slackbuilds.org> | 2017-01-09 20:18:25 +0000 |
| commit | 5da5fcd42d5247b89a2e984281fa92ac478a0af5 (patch) | |
| tree | 3c3d3721280fa46e8806dfa36c9c74cece5f528b /development/mcu8051ide | |
| parent | 2198da0709f2f0e6ecbb4eec0d725ec381c319c7 (diff) | |
development/mcu8051ide: Update doinst.sh.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/mcu8051ide')
| -rw-r--r-- | development/mcu8051ide/doinst.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/mcu8051ide/doinst.sh b/development/mcu8051ide/doinst.sh index 031ae07d05995..138e27de17a5f 100644 --- a/development/mcu8051ide/doinst.sh +++ b/development/mcu8051ide/doinst.sh @@ -4,7 +4,7 @@ fi if [ -e usr/share/icons/hicolor/icon-theme.cache ]; then if [ -x /usr/bin/gtk-update-icon-cache ]; then - /usr/bin/gtk-update-icon-cache usr/share/icons/hicolor >/dev/null 2>&1 + /usr/bin/gtk-update-icon-cache -f usr/share/icons/hicolor >/dev/null 2>&1 fi fi |