laravel/laravel — pull request #1884 by janka (2013-04-14 18:37:42+00:00)
Title: set pre-update-cmd to delete compiled.php

Remove compiled.php before update to get rid of the old code in there.

Depends on https://github.com/laravel/framework/pull/934