Skip to content
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.

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

clone.sh should use bash due to bashisms #485

Merged
merged 1 commit into from Nov 21, 2015
Merged
Commits on Nov 19, 2015
  1. clone.sh should use bash due to bashisms

    ivucica committed Nov 19, 2015
    Bashisms pushd/popd don't work so well if /bin/sh is dash, as is the case on a Debian machine.
You can’t perform that action at this time.