scripts/showSamples.sh
changeset 617 f746b9a18ff5
parent 576 c4cf38f1d616
child 642 887ce0523903
     1.1 --- a/scripts/showSamples.sh	Wed Jun 18 13:20:14 2008 +0000
     1.2 +++ b/scripts/showSamples.sh	Wed Jun 25 08:53:17 2008 +0000
     1.3 @@ -62,8 +62,12 @@
     1.4          echo -n "|  ${CT_ARCH_FLOAT_HW:+hard}${CT_ARCH_FLOAT_SW:+soft} float  "
     1.5          echo -n "|  "
     1.6          if [ -f "${sample_top}/samples/${sample}/reported.by" ]; then
     1.7 -            ( . "${sample_top}/samples/${sample}/reported.by"; \
     1.8 -              echo -n "|  [[${reporter_url}|${reporter_name}]]  "
     1.9 +            ( . "${sample_top}/samples/${sample}/reported.by"
    1.10 +              if [ -n "${reporter_url}" ]; then
    1.11 +                  echo -n "|  [[${reporter_url}|${reporter_name}]]  "
    1.12 +              else
    1.13 +                  echo -n "|  ${reporter_name}  "
    1.14 +              fi
    1.15              )
    1.16          else
    1.17              echo -n "|  [[http://ymorin.is-a-geek.org/|YEM]]  "