HomeSort by: relevance | last modified time | path
    Searched refs:sed_basename1 (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gdb/dist/gnulib/
configure 36760 sed_basename1='s,.*/,,'
36765 i_base=`echo "$i" | sed -e "$sed_basename1"`
36787 sed_basename1='s,.*/,,'
36792 i_base=`echo "$i" | sed -e "$sed_basename1"`
  /src/external/gpl3/gdb.old/dist/gnulib/
configure 36760 sed_basename1='s,.*/,,'
36765 i_base=`echo "$i" | sed -e "$sed_basename1"`
36787 sed_basename1='s,.*/,,'
36792 i_base=`echo "$i" | sed -e "$sed_basename1"`

Completed in 54 milliseconds