diff --git a/util/update_theme_repo b/util/update_theme_repo
index 3d3cafe84..b4de55568 100755
--- a/util/update_theme_repo
+++ b/util/update_theme_repo
@@ -2,7 +2,6 @@
 
 set -f
 
-set -f
 
 if [ $# -ne 1 ]; then
 	echo usage: $0 repository