diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/vendors/compile-xilinx-ise.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/vendors/compile-xilinx-ise.sh b/scripts/vendors/compile-xilinx-ise.sh index 2e3cc3355..354193501 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 ;; - -src|--source) + --src|--source) SrcDir="$2" shift # skip argument ;; - -out|--output) + --out|--output) DestDir="$2" shift # skip argument ;; |