./$(OUTPUT)| grep "NOT passed" -A 2 --group-separator=''||true
time-linux:
@echo "Requires /bin/time, found on GNU/Linux systems"&&echo
@echo "Running 100x and taking avg time $(OUTPUT)"
@t=$$(/usr/bin/time -f "%e" -p bash -c 'for i in {1..100}; do $(OUTPUT); done' 2>&1 >/dev/null | grep real | awk '{print $$2}');echo"scale=2; 1000 * $$t / 100"| bc | sed "s|^|Time using 1 thread: |"| sed 's|$$|ms|'&&echo
## Profiling
profile-linux:
echo"Requires perf, which depends on the kernel version, and might be in linux-tools package or similar"