Lines Matching refs:sh
1 # ltmain.sh - Provide generalized library-building support services.
31 PROGRAM=ltmain.sh
589 if (sed -e '2q' $arg | egrep '^# Generated by ltmain\.sh') >/dev/null 2>&1; then :
1433 #! /bin/sh
1436 # Generated by ltmain.sh - GNU $PACKAGE $VERSION
1571 # Generated by ltmain.sh - GNU $PACKAGE $VERSION
1608 # There may be an optional /bin/sh argument at the beginning of
1762 if (sed -e '2q' $file | egrep '^# Generated by ltmain\.sh') >/dev/null 2>&1; then :
1899 if (sed -e '4q' $file | egrep '^# Generated by ltmain\.sh') >/dev/null 2>&1; then
2085 if (sed -e '2q' $file | egrep '^# Generated by ltmain\.sh') >/dev/null 2>&1; then :
2156 if (sed -e '4q' $file | egrep '^# Generated by ltmain\.sh') >/dev/null 2>&1; then
2221 if (sed -e '2q' $file | egrep '^# Generated by ltmain\.sh') >/dev/null 2>&1; then
2452 # sh-indentation:2
