8e4081aa53450365ced3f74f8c4d2b383225d88d
[model-checker-benchmarks.git] / count-lines.sh
1 #!/bin/bash
2 #
3
4 Files=(
5         mcs-lock/mcs-lock.h mcs-lock/mcs-lock.cc
6         linuxrwlocks/linuxrwlocks.h linuxrwlocks/linuxrwlocks.c
7         concurrent-hashmap/hashmap.h concurrent-hashmap/hashmap.cc
8         read-copy-update/rcu.h read-copy-update/rcu.cc
9         seqlock/seqlock.h seqlock/seqlock.cc
10         ticket-lock/lock.h ticket-lock/lock.c
11         spsc-bugfix/eventcount.h spsc-bugfix/queue.h spsc-bugfix/queue.cc
12         mpmc-queue/mpmc-queue.h mpmc-queue/mpmc-queue.cc
13         chase-lev-deque-bugfix/deque.h chase-lev-deque-bugfix/deque.c
14         ms-queue/queue.h ms-queue/queue.c
15 )
16
17 MainFiles=(
18         linuxrwlocks/main.c
19         concurrent-hashmap/main.cc
20         read-copy-update/main.cc
21         seqlock/main.cc
22         ticket-lock/main.cc
23         spsc-bugfix/main.cc
24         mcs-lock/main.cc
25         mpmc-queue/main.cc
26         chase-lev-deque-bugfix/main.c
27         ms-queue/main.c
28 )
29
30 echo "cloc ${Files[*]}"
31
32 cloc ${Files[*]} ${MainFiles[*]}