Re: cleaning/building just one extension
| From: | Sascha Schumann | Date: | Thu, 12 Dec 2002 18:00:57 +0000 |
| Subject: | Re: cleaning/building just one extension | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-92422@lists.php.net to get a copy of this message | ||
On Thu, 12 Dec 2002, Andrei Zmievski wrote:
> With the new build system, is there a way to clean/build just one
> extension, as opposed to having to do it to the whole tree? Something
> like "make clean ext=wddx", perhaps?
We could add a target clean-ext-EXTNAME..
- Sascha