From 75353f222071b302bfdbb7d45426850e72b5f74d Mon Sep 17 00:00:00 2001 From: Edward Hartnett Date: Mon, 2 Oct 2023 06:19:45 -0600 Subject: [PATCH] check shared library build with a make install --- .github/workflows/Linux_options.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/Linux_options.yml b/.github/workflows/Linux_options.yml index c092099b..65fffd94 100644 --- a/.github/workflows/Linux_options.yml +++ b/.github/workflows/Linux_options.yml @@ -178,7 +178,8 @@ jobs: run: | cd $GITHUB_WORKSPACE/g2/build make install - ls -l ~/g2/install/lib + ls -l ~/g2/install/lib*.so || exit 1 +