|
|
coherent
version=3
release=2
revision=1.b
arg=${1-foo}
if [ $arg = "ID" ]
then
echo "$version.$release.$revision"
else
echo -n '-DVERSION="'$version.$release.$revision'"'
fi
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.