2020-07-09 07:27:20 -07:00
|
|
|
#!/bin/bash
|
2020-06-18 20:14:05 -07:00
|
|
|
|
|
|
|
echo "Compiling unit tests"
|
2021-10-13 18:09:11 -07:00
|
|
|
make clean
|
|
|
|
# todo: how comes .dep is not being cleaned by 'make clean'?
|
2020-06-18 20:14:05 -07:00
|
|
|
rm -rf .dep/
|
2023-03-13 14:09:42 -07:00
|
|
|
make -j12
|