This commit is contained in:
parent
8160f093d5
commit
ade0370775
1 changed files with 24 additions and 0 deletions
|
@ -0,0 +1,24 @@
|
||||||
|
commit 69138285fd4671855184a2de68e1b99aa0a4f3a8
|
||||||
|
Author: Eric Siegerman <pub08-git@davor.org>
|
||||||
|
Date: Tue Oct 31 02:17:27 2017 -0400
|
||||||
|
|
||||||
|
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".
|
||||||
|
|
||||||
|
diff --git a/Makefile b/Makefile
|
||||||
|
index aceb65cae..6ac241f67 100644
|
||||||
|
--- a/Makefile
|
||||||
|
+++ b/Makefile
|
||||||
|
@@ -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
|
Loading…
Add table
Reference in a new issue