diff options
Diffstat (limited to 'SCAN-RSS/run.sh')
-rwxr-xr-x | SCAN-RSS/run.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/SCAN-RSS/run.sh b/SCAN-RSS/run.sh deleted file mode 100755 index 1c39f7c..0000000 --- a/SCAN-RSS/run.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/bash - -for i in 2048 4096 8192 16384 65536 262144 1048576 3932160 -do - NR_DPUS=1 NR_TASKLETS=16 BL=10 VERSION=SINGLE make all - wait - ./bin/host_code -w 10 -e 100 -i ${i} > profile/out${i}_tl16_bl10_dpu11 - wait - make clean - wait -done |