Searched full:version_date (Results 1 – 1 of 1) sorted by relevance
77 version_date=`date +"%b %d, %Y"`142 echo Using PETSC_VERSION_DATE: ${version_date}147 …sed -e "s/#define PETSC_VERSION_DATE\ .*/#define PETSC_VERSION_DATE \"${version_date}\"/" | \