Index: build/gdb-add-index |
diff --git a/build/gdb-add-index b/build/gdb-add-index |
index 8df437f79b2778a5e49e7e9f95fe31d38c3013ee..73367c8350343aa92f68fb4968632135f1ada42c 100755 |
--- a/build/gdb-add-index |
+++ b/build/gdb-add-index |
@@ -36,7 +36,7 @@ function on_exit { |
echo "done" |
fi |
- if [ -f "$directory" ]; then |
+ if [ -d "$directory" ]; then |
echo -n "Removing temp directory $directory..." |
rm -rf "$directory" |
echo done |