diff options
author | Unai Martinez-Corral <38422348+umarcor@users.noreply.github.com> | 2021-06-26 19:40:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-26 20:40:25 +0200 |
commit | b4d4d9abb322ed0807d2ba0888e73820499aa338 (patch) | |
tree | b980d379e95034ee72aac29955833e1ef0dfd912 /scripts/vendors/compile-osvvm.sh | |
parent | 111fe055b2f0f3a0225d2553cf739572d691a14d (diff) | |
download | ghdl-b4d4d9abb322ed0807d2ba0888e73820499aa338.tar.gz ghdl-b4d4d9abb322ed0807d2ba0888e73820499aa338.tar.bz2 ghdl-b4d4d9abb322ed0807d2ba0888e73820499aa338.zip |
Codacy issues, Travis cleanup and update ghdl.texi (#1807)
* ghw: fix memleaks reported by codacy
* ghw: printf issues and style (GNU indent)
* testsuite/gna: minor printf issues
* testsuite: fix issues reported by codacy
* scripts/ci-run: clean travis stuff (deprecated)
* scripts: fix issues reported by codacy
* doc/Makefile: add .PHONY
* doc: update ghdl.texi
* testsuite/synth: use synth_tb
Diffstat (limited to 'scripts/vendors/compile-osvvm.sh')
-rwxr-xr-x | scripts/vendors/compile-osvvm.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/vendors/compile-osvvm.sh b/scripts/vendors/compile-osvvm.sh index 34b5f2dd4..9f69fc088 100755 --- a/scripts/vendors/compile-osvvm.sh +++ b/scripts/vendors/compile-osvvm.sh @@ -34,10 +34,10 @@ test greadlink --version > /dev/null 2>&1 && READLINK=greadlink || READLINK=read # Save working directory WorkingDir=$(pwd) ScriptDir="$(dirname $0)" -ScriptDir="$($READLINK -f $ScriptDir)" +ScriptDir="$($READLINK -f "$ScriptDir")" # Source Bash utilities -source $ScriptDir/../ansi_color.sh +source "$ScriptDir"/../ansi_color.sh if [[ $? -ne 0 ]]; then echo 1>&2 -e "${COLORED_ERROR} While loading Bash utilities.${ANSI_NOCOLOR}" ; exit 1; fi @@ -52,7 +52,7 @@ SUPPRESS_WARNINGS=0 HALT_ON_ERROR=0 DestDir="" SrcDir="" -while [[ $# -gt 0 ]]; do +while [[ "$#" -gt 0 ]]; do case "$1" in -c|--clean) COMMAND=3 |