diff options
| author |  Eric Siegerman <pub08-git@davor.org> | 2017-11-07 16:22:25 -0400 |
|---|---|---|
| committer |  Joey Hess <joeyh@joeyh.name> | 2017-11-07 16:28:05 -0400 |
| commit | 9199ba473bda4eacc6d1bdde99180fef35bc2049 (patch) | |
| tree | 740d2f1c39fe057358302558254b05f5a25472d0 | |
| parent | 8cf26c018cbc75a8238d848067386125dc25775f (diff) | |
Build Build/InstallDesktopFile at "make all" time
If you run stack as root (e.g. for "make install"), any files it
creates under ./ will, of course, be owned by root. That's a
problem for subsequent runs as non-root.
Reduce the likelihood of that happening by building
Build/InstallDesktopFile during "make all", so that it needn't be
built by "make install".
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -all=git-annex git-annex-shell mans docs +all=git-annex git-annex-shell mans docs Build/InstallDesktopFile # set to "./Setup" if you lack a cabal program. Or can be set to "stack" BUILDER?=cabal |