tree 766c18e8b369c0cd73588ff9a5e9b6867c479171
parent d1ac8d794aef7fdf06fe612b0c231601a38e9f1d
author Jakub Kotur <qtr@google.com> 1612868390 +0100
committer Jakub Kotur <qtr@google.com> 1615801219 +0100

Enable regex on the device.

This is required by criterion library.

Change-Id: Ie36de308cb1eb3b98988d1ba57f2c85a5ce6b292