version 1.61, 2008/03/05 21:56:26
|
version 1.61.4.1, 2008/07/01 15:17:27
|
|
|
TOUCH = touch | TOUCH = touch |
CAT = cat | CAT = cat |
DOCXX = doc++ | DOCXX = doc++ |
|
DOXYGEN = doxygen |
| |
GENERATE_RANDSEED = randseed | GENERATE_RANDSEED = randseed |
GET_HOSTNAME = `nslookup \`hostname\` | grep "Name:" | sed 's/Name:[ ]*//'` | GET_HOSTNAME = `nslookup \`hostname\` | grep "Name:" | sed 's/Name:[ ]*//'` |
|
|
TOUCH = touch | TOUCH = touch |
CAT = cat | CAT = cat |
DOCXX = doc++ | DOCXX = doc++ |
|
DOXYGEN = doxygen |
| |
GET_HOSTNAME = `host \`hostname\`|cut -d" " -f1` | GET_HOSTNAME = `host \`hostname\`|cut -d" " -f1` |
| |