Searched refs:BADPERMS (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/tools/mkrelease/
H A Dmkrelease.sh37 BADPERMS=$(find $DESTDIR -type f -perm /ugo+x \
41 if [ -n "$BADPERMS" ]; then
43 echo "$BADPERMS" > /dev/stderr

Completed in 45 milliseconds