You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, neither make bench-mem or make benchfx-mem work for any benchmark: /usr/bin/time takes the executable to run plus its arguments as individual CLI arguments, and cannot be given an LD_PRELOAD=foo bar arg style shell command as a result.
The text was updated successfully, but these errors were encountered:
Currently, neither
make bench-mem
ormake benchfx-mem
work for any benchmark:/usr/bin/time
takes the executable to run plus its arguments as individual CLI arguments, and cannot be given anLD_PRELOAD=foo bar arg
style shell command as a result.The text was updated successfully, but these errors were encountered: