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

/seL4-l4v-master/HOL4/developers/
H A Ddelete-trailing-ws2 wspace_re='[ \t]+$'
11 trailingcommand=(-print -exec perl -i -pe "s/$wspace_re//;" '{}' ';')
26 -exec perl -e "while (<>) { if (/$wspace_re/) { exit 0; }}; exit 1" \{\} \; \

Completed in 41 milliseconds