1 | #!/usr/bin/env bash |
2 | |
3 | demo() { |
4 | local ysh=_bin/cxx-opt/ysh |
5 | ninja $ysh |
6 | |
7 | OILS_GC_STATS=1 _OILS_GC_VERBOSE=1 $ysh test/bug-2123.ysh |
8 | #time OILS_GC_STATS=1 $ysh test/bug-2123.ysh |
9 | |
10 | # max RSS |
11 | # 246 |
12 | # /usr/bin/time --format '%e %M' $ysh test/bug-2123.ysh |
13 | } |
14 | |
15 | debug() { |
16 | local ysh=_bin/cxx-dbg/ysh |
17 | ninja $ysh |
18 | |
19 | gdb --args $ysh test/bug-2123.ysh |
20 | } |
21 | |
22 | "$@" |