diff options
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." |