diff options
author | Adrian Byszuk <adrian.byszuk@gmail.com> | 2021-02-17 15:15:14 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-17 15:15:14 +0100 |
commit | 34a096229ccadf895b2130bafa417e869c437b3c (patch) | |
tree | ff5f3bc3adf4020367f9ae2e5e6ee963a64d7c08 /scripts/vendors/compile-osvvm.sh | |
parent | a45cd97fa291b442002d70ac7e0968a24b0815f9 (diff) | |
download | ghdl-34a096229ccadf895b2130bafa417e869c437b3c.tar.gz ghdl-34a096229ccadf895b2130bafa417e869c437b3c.tar.bz2 ghdl-34a096229ccadf895b2130bafa417e869c437b3c.zip |
vendors: support deprecated param names (#1653)
Co-authored-by: Adrian Byszuk <adrian.byszuk@cern.ch>
Diffstat (limited to 'scripts/vendors/compile-osvvm.sh')
-rwxr-xr-x | scripts/vendors/compile-osvvm.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/scripts/vendors/compile-osvvm.sh b/scripts/vendors/compile-osvvm.sh index dbdf7c70b..34b5f2dd4 100755 --- a/scripts/vendors/compile-osvvm.sh +++ b/scripts/vendors/compile-osvvm.sh @@ -89,11 +89,11 @@ while [[ $# -gt 0 ]]; do GHDL="$2" # overwrite a potentially existing GHDL environment variable shift # skip argument ;; - --source) + --src|--source) SrcDir="$2" shift # skip argument ;; - --output) + --out|--output) DestDir="$2" shift # skip argument ;; @@ -138,9 +138,9 @@ if [[ $COMMAND -le 1 ]]; then echo " -H --halt-on-error Halt on error(s)." echo "" echo "Advanced options:" - echo " --ghdl <GHDL binary> Path to GHDL's executable, e.g. /usr/local/bin/ghdl" - echo " --output <dir name> Name of the output directory, e.g. osvvm" - echo " --source <Path to OSVVM> Path to the sources." + echo " --ghdl <GHDL binary> Path to GHDL's executable, e.g. /usr/local/bin/ghdl" + echo " --output <dir name> Name of the output directory, e.g. osvvm" + echo " --source <Path to OSVVM> Path to the sources." echo "" echo "Verbosity:" echo " -v --verbose Print verbose messages." |