Commit f68479fe authored by Konstantinos Chatzilygeroudis's avatar Konstantinos Chatzilygeroudis
Browse files

Merge remote-tracking branch 'origin' into new_benchmarks

Conflicts:
	docs/pre_script.sh
parents fa290b1c 9f1d323d
#!/bin/sh
set -x
echo "generating doxygen for Limbo, current path $PWD"
doxygen Doxyfile
......@@ -11,13 +12,13 @@ cd ..
echo "getting the latest benchmark result (needs to be in $HOME/limbo_benchmarks)"
# get the last benchmark
DIR=$HOME/limbo_benchmarks
BENCHMARKS=$DIR/`ls $DIR|sort -n|head -n 1`
BENCHMARKS=$DIR/`ls -t $DIR | head -n 1`
cp $BENCHMARKS/bo_benchmarks.rst docs/bo_benchmarks.rst
cp -r $BENCHMARKS/fig_benchmarks docs
echo "getting the latest regression benchmark result (needs to be in $HOME/limbo_reg_benchmarks)"
DIR=$HOME/limbo_ref_benchmarks
BENCHMARKS=$DIR/`ls $DIR|sort -n|head -n 1`
DIR=$HOME/limbo_reg_benchmarks
BENCHMARKS=$DIR/`ls -t $DIR | head -n 1`
cp $BENCHMARKS/regression_benchmarks.rst docs/reg_benchmarks.rst
cp -r $BENCHMARKS/regression_benchmarks_figs docs
cp -r $BENCHMARKS/regression_benchmark_figs docs/fig_benchmarks
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment