1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#!/bin/bash
# Check if the output file argument was provided
if [ $# -eq 0 ]
then
echo "Please provide the output file as an argument"
return
fi
# Check if the directory of Python programs argument was provided
if [ $# -eq 1 ]
then
echo "Please provide the directory of Python programs as an argument"
return
fi
# Set the output file
output_file=$1
# Set the directory of Python programs
python_programs_dir=$2
# Loop through all files in the directory of Python programs
start=`date +%s`
for file in $python_programs_dir/*.py
do
# Execute the Python program and append the output to the output file
python $file $output_file
done
end=`date +%s`
runtime=$((end-start))
echo "total time to run benchmarks is:"
echo $runtime
python benchmarks/dynamo/pr_time_benchmarks/log_benchmarking_time.py $runtime
|
