diff options
| author | Masaki Fujimoto <fujimoto@php.net> | 2002-08-13 06:51:28 +0000 |
|---|---|---|
| committer | Masaki Fujimoto <fujimoto@php.net> | 2002-08-13 06:51:28 +0000 |
| commit | 2eaa0f6ea140ff70a6d244dca1392c99c7084fbd (patch) | |
| tree | 69a993912618b041a277ccc5fef0d53a2411fc92 | |
| parent | e9dcdd12aaca5c9551ac2fab61b4640210ba0220 (diff) | |
| download | php-git-2eaa0f6ea140ff70a6d244dca1392c99c7084fbd.tar.gz | |
cleaning up include files created by PHP_DEFINE when 'make distclean'ed
| -rw-r--r-- | Makefile.global | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.global b/Makefile.global index 957cb43059..7a1ec5a411 100644 --- a/Makefile.global +++ b/Makefile.global @@ -68,6 +68,7 @@ clean: distclean: clean rm -f config.cache config.log config.status Makefile.objects Makefile.fragments libtool main/php_config.h stamp-h php4.spec sapi/apache/libphp4.module buildmk.stamp + egrep define'.*include/php' configure|sed 's/.*>//'|xargs rm -f find . -name Makefile | xargs rm -f .PHONY: all clean install distclean test |