[seL4] reply: This checkin cause a build error

Hi, Adria, I have fix this build error, it is because I use an old version of apps/sel4test-driver/scripts/extract-test-names.sh I am developing an operating system which can support Microsoft COM like component programing module based on seL4, so I have to sync every repository manually. Xilong Pei Tongji University 2015/7/13