Home | History | Annotate | Download | only in dist

Lines Matching refs:Some

596 # hostname on some systems (SVR3.2, old GNU/Linux) returns a bogus exit status,
778 # Initialize some variables set by options.
1230 # FIXME: To remove some day.
1235 # FIXME: To remove some day.
1321   # Omit some internal or obsolete options to make the list less imposing.
1329 VAR=VALUE.  See below for descriptions of some of the useful variables.
1425 Some influential environment variables:
1651   # Save into config.log some information that might help in debugging.
1793   # Some versions of bash will fail to source /dev/null (special files
2095 # symlink; some systems play weird games with the mod time of symlinks
2498 # Some tools Automake needs.
2521 # system "awk" is bad on some platforms.
4742 # VPATH may cause trouble with some makes, so we remove sole $(srcdir),