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

/barrelfish-2018-10-04/tools/mkrelease/
H A Dmkrelease.sh3 EXEC_FILES_LIST=tools/mkrelease/executable_files
6 if [ ! \( -f README -a -d hake -a -d .hg -a -r $EXEC_FILES_LIST \) ]; then
39 | grep -vFf $EXEC_FILES_LIST)
42 echo "Error: the following files are executable, but not listed in $EXEC_FILES_LIST:" > /dev/stderr

Completed in 33 milliseconds