fix
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 19 Mar 2009 13:09:21 +0000 (13:09 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 19 Mar 2009 13:09:21 +0000 (13:09 +0000)
vbuild-nightly.sh

index e146e46..9b558d8 100755 (executable)
@@ -318,9 +318,13 @@ function show_env () {
     if in_root_context ; then
        echo PLDISTROTAGS="$PLDISTROTAGS"
     else
-       echo "XXXXXXXXXXXXXXXXXXXX Contents of tags definition file /build/$PLDISTROTAGS"
-       cat /build/$PLDISTROTAGS
-       echo "XXXXXXXXXXXXXXXXXXXX end tags definition"
+       if [ -f /build/$PLDISTROTAGS ] ; then
+           echo "XXXXXXXXXXXXXXXXXXXX Contents of tags definition file /build/$PLDISTROTAGS"
+           cat 
+           echo "XXXXXXXXXXXXXXXXXXXX end tags definition"
+       else
+           echo "XXXXXXXXXXXXXXXXXXXX Cannot find tags definition file /build/$PLDISTROTAGS, assuming remote pldistro"
+       fi
     fi
     set -x
 }