aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtestsuite/gna/issue2005/testsuite.sh6
1 files changed, 5 insertions, 1 deletions
diff --git a/testsuite/gna/issue2005/testsuite.sh b/testsuite/gna/issue2005/testsuite.sh
index 5cd784bc6..0dfcb1860 100755
--- a/testsuite/gna/issue2005/testsuite.sh
+++ b/testsuite/gna/issue2005/testsuite.sh
@@ -6,9 +6,13 @@ set -x
if c_compiler_is_available; then
lib=$("$GHDL" --libghdl-name)
+ lib_path="$("$GHDL" --libghdl-library-path)"
+ if [ ! -f "$lib_path" ]; then
+ echo "no libghdl"
+ exit 0
+ fi
lib=${lib#lib} # strip "lib" prefix
lib=${lib%.*} # strip .so/.dll suffix
- lib_path="$("$GHDL" --libghdl-library-path)"
libdir="$(dirname "$lib_path")"
incdir="$("$GHDL" --libghdl-include-dir)"