diff options
Diffstat (limited to 'scripts/vendors/compile-xilinx-ise.sh')
| -rwxr-xr-x | scripts/vendors/compile-xilinx-ise.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/scripts/vendors/compile-xilinx-ise.sh b/scripts/vendors/compile-xilinx-ise.sh index 5ac581b28..2e3cc3355 100755 --- a/scripts/vendors/compile-xilinx-ise.sh +++ b/scripts/vendors/compile-xilinx-ise.sh @@ -121,11 +121,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 ;; @@ -173,9 +173,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. ise" - echo " --source <Path to ISE> 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. ise" + echo " --source <Path to ISE> Path to the sources." echo "" echo "Verbosity:" echo " -v --verbose Print verbose messages." |