Error when --with-shared-gc doesn't specify a directory
This commit is contained in:
parent
a65c205a1b
commit
e798f45cc2
Notes:
git
2024-07-26 17:20:21 +00:00
@ -6,6 +6,10 @@ AC_ARG_WITH(shared-gc,
|
|||||||
[shared_gc_dir=$withval], [unset shared_gc_dir]
|
[shared_gc_dir=$withval], [unset shared_gc_dir]
|
||||||
)
|
)
|
||||||
|
|
||||||
|
AS_IF([test "$shared_gc_dir" = yes], [
|
||||||
|
AC_MSG_ERROR(you must specify a directory when using --with-shared-gc)
|
||||||
|
])
|
||||||
|
|
||||||
AC_MSG_CHECKING([if building with shared GC support])
|
AC_MSG_CHECKING([if building with shared GC support])
|
||||||
AS_IF([test x"$shared_gc_dir" != x], [
|
AS_IF([test x"$shared_gc_dir" != x], [
|
||||||
AC_MSG_RESULT([yes])
|
AC_MSG_RESULT([yes])
|
||||||
|
Loading…
x
Reference in New Issue
Block a user