1 files changed, 1 insertions, 1 deletions
diff --git a/tool/rmdirs b/tool/rmdirs
index a91ef134ec..7eb6cae11b 100755
--- a/tool/rmdirs
+++ b/tool/rmdirs
@@ -1,5 +1,5 @@
 #!/bin/sh
-for dir in $$*; do
+for dir in "$$@"; do
     while rmdir "$dir" >/dev/null 2>&1 &&
           parent=`expr "$dir" : '\(.*\)/[^/][^/]*'`; do
         case "$parent" in