CI: Only run autogen.sh if it has not already run.
commit0dec634e705b5bf89a37c5d62d71e8511d480058
authorJia Tan <jiat0218@gmail.com>
Thu, 12 Jan 2023 15:02:20 +0000 (12 23:02 +0800)
committerJia Tan <jiat0218@gmail.com>
Thu, 12 Jan 2023 15:02:20 +0000 (12 23:02 +0800)
treed8bd9576c08c9a041637aa395402c51a6811e96d
parent32287dc8def94df4546e903495d14c132bd54cc4
CI: Only run autogen.sh if it has not already run.
build-aux/ci_build.sh