expand date in overwrite mode
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 9 Oct 2008 02:28:12 +0000 (02:28 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 9 Oct 2008 02:28:12 +0000 (02:28 +0000)
vbuild-nightly.sh

index 367bc24..26274bb 100755 (executable)
@@ -426,7 +426,8 @@ function main () {
     [ -n "$DRY_RUN" ] && MAILTO=""
        
     if [ -n "$OVERBASE" ] ; then
-       BASE=${OVERBASE}
+       sedargs="-e s,@DATE@,${DATE},g"
+       BASE=(echo ${OVERBASE} | sed $sedargs)
     else
        sedargs="-e s,@DATE@,${DATE},g -e s,@FCDISTRO@,${FCDISTRO},g -e s,@PLDISTRO@,${PLDISTRO},g -e s,@PERSONALITY@,${PERSONALITY},g"
        BASE=$(echo ${BASE} | sed $sedargs)