Searched refs:topsrcdirstrip (Results 1 – 3 of 3) sorted by relevance
390 topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \394 -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
530 topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \534 -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
438 topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \442 -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
