diff options
-rwxr-xr-x | count-all | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -1,6 +1,6 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | 2 | ||
3 | EVENTS="SCHED SCHED2 TICK CXS RELEASE RELEASE-LATENCY SEND-RESCHED" | 3 | EVENTS="SCHED SCHED2 TICK CXS RELEASE RELEASE-LATENCY SEND-RESCHED LOCK UNLOCK READ-LOCK READ-UNLOCK SYSCALL-IN SYSCALL-OUT" |
4 | 4 | ||
5 | DIR="$1" | 5 | DIR="$1" |
6 | 6 | ||
@@ -12,6 +12,12 @@ fi | |||
12 | for E in $EVENTS | 12 | for E in $EVENTS |
13 | do | 13 | do |
14 | FILES=`find "$DIR" -iname "*overhead=${E}.bin"` | 14 | FILES=`find "$DIR" -iname "*overhead=${E}.bin"` |
15 | shuffle_truncate.py --count $FILES > counts_overhead=${E}.txt | 15 | if [ ! -z "$FILES" ] |
16 | then | ||
17 | echo "Counting $E..." | ||
18 | shuffle_truncate.py --count $FILES > counts_overhead=${E}.txt | ||
19 | else | ||
20 | echo "Skipping $E: no such samples found." | ||
21 | fi | ||
16 | done | 22 | done |
17 | 23 | ||