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

Can't make #1

Open

Hyakkimaru1 opened this issue Apr 11, 2019 · 2 comments

Hyakkimaru1 commented Apr 11, 2019 •

edited

Loading

when I ran "make", it answered "to be done for 'all'"

josabraham commented Sep 14, 2022 •

edited

Loading

Use this command

make -B all

You can force make to rebuild everything with the -B option. make -B all

Otherwise you have to delete the proxy executable in the directory which will rebuild all

shawn-exe commented Aug 5, 2024

Delete the 'proxy' file and try with the 'make' command again.
It will work for sure!

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