New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make pFUnit optional #20

Merged

ckebschull merged 2 commits into Space-Systems:master from zurdala:master

Dec 21, 2023

Contributor

zurdala commented Dec 21, 2023

For dependencies, pfunit is not necessary, so we should avoid compiling it since it is not an easy dependency

zurdala added 2 commits

December 21, 2023 17:37


          Make pfunit optional

8a76d65


          Activate pfunit in build.sh

Contributor Author

zurdala commented Dec 21, 2023

@ckebschull can you review and merge?

ckebschull merged commit 9994297 into Space-Systems:master

1 check passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet