From 7d24eb6144609bb3d635c987a74e30cc3b9f4939 Mon Sep 17 00:00:00 2001 From: Tim Stack Date: Wed, 14 Jun 2023 08:57:02 -0700 Subject: [PATCH] [dist] make dist should work without doing a full build --- tools/Makefile.am | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/Makefile.am b/tools/Makefile.am index 562405a1..3dce4e8e 100644 --- a/tools/Makefile.am +++ b/tools/Makefile.am @@ -10,5 +10,7 @@ EXTRA_DIST = \ CLEANFILES = \ bin2c$(BUILD_EXEEXT) +dist-hook: bin2c$(BUILD_EXEEXT) + distclean-local: $(RM_V)rm -rf *.dSYM