diff --git a/benchmark/gendoc.sh b/benchmark/gendoc.sh index 54ea657..5bebc74 100755 --- a/benchmark/gendoc.sh +++ b/benchmark/gendoc.sh @@ -1,6 +1,6 @@ #!/bin/bash -PRNUM="$1" +COMMIT="$1" TARGETS="i386-linux-handwritten c python" TIMEFORMAT='%U' CPU_MODEL=`cat /proc/cpuinfo | grep -m1 'model name' | cut -d: -f2 | sed "s/^ *//g"` @@ -36,7 +36,7 @@ function generate-table { echo "# Environment" echo -echo "- Commit: #$PRNUM" +echo "- Commit: $COMMIT" echo "- $CPU_MODEL" echo "- $MEM_SIZE" echo "- $UNAME"