Only (re)generate the libd0 Makefile when necessary in dev/git builds

Also fixes the `distclean` case: that target deletes the Makefile so we
need to generate it again before we can build.
This commit is contained in:
bones_was_here 2023-12-31 22:41:25 +10:00
parent 0d3146cb2c
commit 9dda8bc6cf
No known key found for this signature in database
GPG Key ID: 982FE90EDA930528

View File

@ -178,10 +178,14 @@ case "$cmd" in
compiled0=true compiled0=true
fi fi
if $compiled0; then if $compiled0; then
verbose sh autogen.sh if ! [ -f Makefile ]; then
verbose ./configure verbose sh autogen.sh
verbose ./configure
fi
if $cleand0; then if $cleand0; then
verbose $MAKE $MAKEFLAGS distclean verbose $MAKE $MAKEFLAGS distclean
verbose sh autogen.sh
verbose ./configure
fi fi
verbose $MAKE $MAKEFLAGS verbose $MAKE $MAKEFLAGS
fi fi