Specify shell for bin/get_eigen.sh script

coin-or / CppAD

A C++ Algorithmic Differentiation Package: Home Page

https://cppad.readthedocs.io

Other

446 stars 94 forks source link

Specify shell for bin/get_eigen.sh script #203

Closed raisin closed 2 months ago

raisin commented 2 months ago

This commit prevents errors for people using sh, zsh, or other shells that don't support '[[' syntax. All the other scripts of the form bing/get_*.sh specify the shell.

CLAassistant commented 2 months ago

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}