[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[GNUnet-SVN] r38166 - gnunet
From: |
gnunet |
Subject: |
[GNUnet-SVN] r38166 - gnunet |
Date: |
Mon, 17 Oct 2016 19:45:45 +0200 |
Author: tg
Date: 2016-10-17 19:45:45 +0200 (Mon, 17 Oct 2016)
New Revision: 38166
Modified:
gnunet/gnunet-dev.nix
Log:
gnunet-dev.nix
Modified: gnunet/gnunet-dev.nix
===================================================================
--- gnunet/gnunet-dev.nix 2016-10-17 15:47:14 UTC (rev 38165)
+++ gnunet/gnunet-dev.nix 2016-10-17 17:45:45 UTC (rev 38166)
@@ -16,7 +16,9 @@
];
patchPhase = ''
- test -e Makefile && make distclean
+ if [ -e Makefile ]; then
+ make distclean
+ fi
'';
NIX_CFLAGS_COMPILE = "-ggdb -O0";
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [GNUnet-SVN] r38166 - gnunet,
gnunet <=