mirror of
https://github.com/GothenburgBitFactory/taskwarrior.git
synced 2025-08-23 14:36:44 +02:00
Performance: Stores a copy of the test data
- This speeds the second run of 'make perf'.
This commit is contained in:
parent
66676539ce
commit
916689f1c2
1 changed files with 12 additions and 5 deletions
|
@ -1,13 +1,20 @@
|
||||||
#! /bin/bash
|
#! /bin/bash
|
||||||
|
|
||||||
echo 'Performance: setup'
|
echo 'Performance: setup'
|
||||||
echo ' - This step will take several minutes'
|
|
||||||
rm -f ./pending.data ./completed.data ./undo.data ./backlog.data perf.rc
|
rm -f ./pending.data ./completed.data ./undo.data ./backlog.data perf.rc
|
||||||
./load
|
if [[ -e data/pending.data && -e data/completed.data ]]
|
||||||
|
then
|
||||||
|
echo ' - Using existing data'
|
||||||
|
cp data/* .
|
||||||
|
else
|
||||||
|
echo ' - This step will take several minutes'
|
||||||
|
./load
|
||||||
|
mkdir -p data
|
||||||
|
cp *.data perf.rc data
|
||||||
|
fi
|
||||||
|
|
||||||
#TASK=/usr/local/bin/tw212
|
#TASK=/usr/local/bin/tw244
|
||||||
#TASK=/usr/local/bin/tw220
|
#TASK=/usr/local/bin/tw250b1
|
||||||
#TASK=/usr/local/bin/tw230
|
|
||||||
TASK=../src/task
|
TASK=../src/task
|
||||||
|
|
||||||
# Run benchmarks.
|
# Run benchmarks.
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue