diff -r c4cf38f1d616 -r f746b9a18ff5 scripts/showSamples.sh --- a/scripts/showSamples.sh Wed Jun 18 13:20:14 2008 +0000 +++ b/scripts/showSamples.sh Wed Jun 25 08:53:17 2008 +0000 @@ -62,8 +62,12 @@ echo -n "| ${CT_ARCH_FLOAT_HW:+hard}${CT_ARCH_FLOAT_SW:+soft} float " echo -n "| " if [ -f "${sample_top}/samples/${sample}/reported.by" ]; then - ( . "${sample_top}/samples/${sample}/reported.by"; \ - echo -n "| [[${reporter_url}|${reporter_name}]] " + ( . "${sample_top}/samples/${sample}/reported.by" + if [ -n "${reporter_url}" ]; then + echo -n "| [[${reporter_url}|${reporter_name}]] " + else + echo -n "| ${reporter_name} " + fi ) else echo -n "| [[http://ymorin.is-a-geek.org/|YEM]] "