Update 'sysinfo.sh'

2017-07-22 22:02:41 +00:00 · 2017-07-22 22:02:41 +00:00 · 2cc085551c
Parent 418fa07e88
--- a/sysinfo.sh
+++ b/sysinfo.sh
@ -42,4 +42,4 @@ sysinfo () {
 	echo "" | tee -a $HOME/bench.log
 	echo "" | tee -a $HOME/bench.log
 }
-sysinfo;;
+sysinfo;