ci: Pass the configure flags to distcheck too

OpenSC · Mar 9, 2024 · 4ba437c · 4ba437c
1 parent b694d93
commit 4ba437c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/build.sh b/.github/build.sh
@@ -92,6 +92,7 @@ fi
 # this is broken in old ubuntu
 if [ "$1" == "dist" -o "$2" == "dist" ]; then
  set +e
+ DISTCHECK_CONFIGURE_FLAGS="$CONFIGURE_FLAGS"
  make distcheck
  RV=$?
  if [ $RV -ne 0 ]; then