summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-06-25 08:53:17 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-06-25 08:53:17 (GMT)
commit77c6645749a4f5d8e6f5d8d56648f60e3d63ba01 (patch)
tree863f830e7fab0bef94f4690a714f305f7c5fb6fc
parent29e57ae0bb9282f619faaf0d40438441421099cc (diff)
Alloow for reporter without an URL (for privately mailed submissions).
/trunk/scripts/showSamples.sh | 8 6 2 0 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-)
-rwxr-xr-xscripts/showSamples.sh8
1 files changed, 6 insertions, 2 deletions
diff --git a/scripts/showSamples.sh b/scripts/showSamples.sh
index 2f75b78..dc149b7 100755
--- a/scripts/showSamples.sh
+++ b/scripts/showSamples.sh
@@ -62,8 +62,12 @@ dump_single_sample() {
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]] "