barak/vicare — comment on commit dceafb331f875a2f1185cf4219efc8ee66b2406b
File:  line 0
By barak:

Sure, make should not touch that file.
Unless it does not exist, in which case it needs to be created or the build will fail.
Instead of invoking that script, perhaps make could create a dummy last-revision file, containing "xxx/00000000" or something like that?
Or at least, print a nice warning, tell the user what to do, and fail right there, instead of hitting a mysterious error later.

...: last-revision
...
last-revision:
@echo last-revision file not found, please create it manually by invoking ...
exit 1

(BTW, the make-last-revision script fails when in a "detached head" state, like "git checkout devel^" or some other non-branch-tip commit.)