Damian Gryski 0b77e92c50 make interp timeout configurable from command line		2022-08-20 07:40:39 +02:00
..
config.go	compileopts: use backticks for regexp to avoid extra escapes	2022-08-07 10:32:23 +02:00
options.go	make interp timeout configurable from command line	2022-08-20 07:40:39 +02:00
options_test.go
target.go
target_test.go	all: update _test.go files for os.IsFoo changes	2022-08-07 10:32:23 +02:00