Hi Kent,

Thanks for the help. "$^" is working.


regards,
sathya


On Fri, Jul 13, 2018 at 1:18 PM, <kent.mcl...@data61.csiro.au> wrote:

> Hi Sathya,
>
>
> Perhaps "" also matches everything.  What about trying "$^" or
> "ZZZZXCZAXCZXC"?
>
>
> Additionally, if you are building with the make build system, you might
> want to verify that the relevant config value is being updated in
> .config.​  If you are building with the CMake build system, then the regex
> config setting is in a different location and can be changed in the CMake
> cache.
>
>
> Kind regards,
>
>
> Kent McLeod
> ------------------------------
> *From:* Devel <devel-bounces@sel4.systems> on behalf of Sathya Narayanan
> N <sathya...@gmail.com>
> *Sent:* Friday, July 13, 2018 5:35 PM
> *To:* devel@sel4.systems
> *Subject:* [seL4] Help ! Simulating SEL4 with Zero testcases running
>
> Hi Experts,
>
> I am running sel4 simulation on spike. I want to disable test cases from
> running. I tried setting default value "" from ".*" in Kconfig file. Is
> this enough ? Or is something else to be done ?
>
> --
>  regards,
> Sathya
>
>
>



-- 
 regards,
Sathya
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to