1.1 --- a/scripts/showSamples.sh Wed Jun 18 13:20:14 2008 +0000
1.2 +++ b/scripts/showSamples.sh Wed Jun 25 08:54:04 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]] "