| commit | 63f04583e389e7afee330f0341e045a73cdb1979 | [log] [tgz] |
|---|---|---|
| author | Thomas <thomasbruggink@hotmail.com> | Thu Mar 21 22:51:07 2024 +0900 |
| committer | Jens Geyer <Jens-G@users.noreply.github.com> | Tue Apr 02 14:09:27 2024 +0200 |
| tree | 58bc0d1ce220eb8e0c12844543a745d23a68eb7f | |
| parent | f6972f1a29cb3c94929f5eecef816e65bed755ef [diff] [blame] |
Manually remove $(BUILT_SOURCES) since no-dist-built-sources doesnt work
diff --git a/tutorial/php/Makefile.am b/tutorial/php/Makefile.am index 3d30ad9..1d11e05 100644 --- a/tutorial/php/Makefile.am +++ b/tutorial/php/Makefile.am
@@ -31,6 +31,9 @@ clean-local: $(RM) -r gen-* +distdir: + $(MAKE) $(AM_MAKEFLAGS) distdir-am + EXTRA_DIST = \ PhpServer.php \ PhpClient.php \