Bug #61107 [NEW]: after compiling and running tests, the source directory cannot be deleted
| From: | gmills at library dot berkeley dot edu | Date: | Thu, 16 Feb 2012 16:59:22 +0000 |
| Subject: | Bug #61107 [NEW]: after compiling and running tests, the source directory cannot be deleted | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-167568@lists.php.net to get a copy of this message | ||
From:
Operating system: Solaris 10
PHP version: 5.3.10
Package: *General Issues
Bug Type: Bug
Bug description:after compiling and running tests, the source directory cannot be deleted
Description:
------------
rm -rf php-5.3.10 does not delete php-5.3.10/ext/standard/tests, saying
that it is
not empty, when it is empty.
--
Edit bug report at https://bugs.php.net/bug.php?id=61107&edit=1
--
Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=61107&r=trysnapshot54
Try a snapshot (PHP 5.3): https://bugs.php.net/fix.php?id=61107&r=trysnapshot53
Try a snapshot (trunk): https://bugs.php.net/fix.php?id=61107&r=trysnapshottrunk
Fixed in SVN: https://bugs.php.net/fix.php?id=61107&r=fixed
Fixed in SVN and need be documented: https://bugs.php.net/fix.php?id=61107&r=needdocs
Fixed in release: https://bugs.php.net/fix.php?id=61107&r=alreadyfixed
Need backtrace: https://bugs.php.net/fix.php?id=61107&r=needtrace
Need Reproduce Script: https://bugs.php.net/fix.php?id=61107&r=needscript
Try newer version: https://bugs.php.net/fix.php?id=61107&r=oldversion
Not developer issue: https://bugs.php.net/fix.php?id=61107&r=support
Expected behavior: https://bugs.php.net/fix.php?id=61107&r=notwrong
Not enough info: https://bugs.php.net/fix.php?id=61107&r=notenoughinfo
Submitted twice: https://bugs.php.net/fix.php?id=61107&r=submittedtwice
register_globals: https://bugs.php.net/fix.php?id=61107&r=globals
PHP 4 support discontinued: https://bugs.php.net/fix.php?id=61107&r=php4
Daylight Savings: https://bugs.php.net/fix.php?id=61107&r=dst
IIS Stability: https://bugs.php.net/fix.php?id=61107&r=isapi
Install GNU Sed: https://bugs.php.net/fix.php?id=61107&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=61107&r=float
No Zend Extensions: https://bugs.php.net/fix.php?id=61107&r=nozend
MySQL Configuration Error: https://bugs.php.net/fix.php?id=61107&r=mysqlcfg