version 1.61, 2008/03/05 21:56:26
|
version 1.62, 2008/06/17 18:18:16
|
|
|
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` |
| |