equal
deleted
inserted
replaced
13 # unpacked. To save bandwidth and disk space, when run |
13 # unpacked. To save bandwidth and disk space, when run |
14 # on (CTU FIT) Jenkins, point them to the shared directory |
14 # on (CTU FIT) Jenkins, point them to the shared directory |
15 |
15 |
16 case $(uname -n) in |
16 case $(uname -n) in |
17 swing-h-win64) |
17 swing-h-win64) |
18 PETITCOMPILER_DATA_DIRECTORY="E:\\workspace\\petitcompiler_test_data" |
18 export PETITCOMPILER_DATA_DIRECTORY="E:\\workspace\\petitcompiler_test_data" |
19 ;; |
19 ;; |
20 swing-hudson-lin64) |
20 swing-hudson-lin64) |
21 PETITCOMPILER_DATA_DIRECTORY="/ws/workspace/petitcompiler_test_data" |
21 export PETITCOMPILER_DATA_DIRECTORY="/ws/workspace/petitcompiler_test_data" |
22 ;; |
22 ;; |
23 *) |
23 *) |
24 PETITCOMPILER_DATA_DIRECTORY=test-data |
24 export PETITCOMPILER_DATA_DIRECTORY=test-data |
25 ;; |
25 ;; |
26 esac |
26 esac |
27 PETITCOMPILER_BENCHMARK_REPORT=benchmark-results-$BUILD_NUMBER.json |
27 PETITCOMPILER_BENCHMARK_REPORT=benchmark-results-$BUILD_NUMBER.json |
|
28 |
28 |
29 |
29 function ci_download_and_unzip_file { |
30 function ci_download_and_unzip_file { |
30 local url=$1 |
31 local url=$1 |
31 local where=$PETITCOMPILER_DATA_DIRECTORY |
32 local where=$PETITCOMPILER_DATA_DIRECTORY |
32 local file=${url##*/} |
33 local file=${url##*/} |