add time measurement for performance comparisons
[pyfrprog.git] / Makefile
1 all:
2         make -C pkernel/