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

/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in163 sed_first='s,^\([^/]*\)/.*$$,\1,'; \
168 first=`echo "$$dir1" | sed -e "$$sed_first"`; \
174 first2=`echo "$$dir2" | sed -e "$$sed_first"`; \
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in269 sed_first='s,^\([^/]*\)/.*$$,\1,'; \
274 first=`echo "$$dir1" | sed -e "$$sed_first"`; \
280 first2=`echo "$$dir2" | sed -e "$$sed_first"`; \

Completed in 35 milliseconds