We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
git amb make install
Add a flag to git amb which makes git-amb do its internal stuff normally, but runs the given build ("make") command via sudo.
git amb
git-amb
The text was updated successfully, but these errors were encountered:
make install
Using sudo might make sense mostly for make or even only for make install.
sudo
make
Sorry, something went wrong.
No branches or pull requests
Add a flag to
git amb
which makesgit-amb
do its internal stuff normally, but runs the given build ("make") command via sudo.The text was updated successfully, but these errors were encountered: