From 35811a014900a7bcfcc6bba4b272e61f1149f4e0 Mon Sep 17 00:00:00 2001 From: Willy Sudiarto Raharjo Date: Mon, 9 Jan 2017 19:46:23 +0700 Subject: [PATCH] development/smlnj: Update doinst.sh. Signed-off-by: Willy Sudiarto Raharjo --- development/smlnj/doinst.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/development/smlnj/doinst.sh b/development/smlnj/doinst.sh index b17e614b54..048eb17e79 100644 --- a/development/smlnj/doinst.sh +++ b/development/smlnj/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