I've made a cartridge with an incremental compiler - if the timestamp on a source file is earlier than the corresponding object file, it won't be recompiled. Unfortunately, when I push a new version of my app, the timestamp of every file is reset, forcing everything to be recompiled. This is obviously a big deal for applications with many thousands of source files, where only one may have changed between releases. As Jenkins can't be used with downloadable cartridges (#995807), this also means a lot of unnecessary down time for the application gear.

Is it possible to leave unchanged files alone, so that only the changed files will be recompiled? Perhaps something like git checkout -f && git clean -d -x.