diff --git a/tools/repo-tool b/tools/repo-tool
index 867fd41a56..dda167f96c 100755
--- a/tools/repo-tool
+++ b/tools/repo-tool
@@ -69,7 +69,7 @@ update_addons_xml() {
 
 touch_addons_xml() {
   for PROJECT in $(ls -1 projects); do
-    if [ -p "$projects/$PROJECT/devices" ]; then
+    if [ -d "projects/$PROJECT/devices" ]; then
       for DEVICE in $(ls -1 projects/$PROJECT/devices); do
         for archfile in projects/$PROJECT/devices/$DEVICE/linux/linux.*.conf; do
           ARCH=`echo $archfile | sed -n '$s/\.conf//;$s/.*\.//p'`