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




_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to