[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnurl] 01/02: makefile.
From: |
gnunet |
Subject: |
[gnurl] 01/02: makefile. |
Date: |
Thu, 07 Nov 2019 00:31:42 +0100 |
This is an automated email from the git hooks/post-receive script.
ng0 pushed a commit to branch master
in repository gnurl.
commit 10d406e7dc8dea6ac7f64d20590632b88884101d
Author: ng0 <address@hidden>
AuthorDate: Wed Nov 6 23:28:59 2019 +0000
makefile.
---
aux-gnurl/Makefile | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/aux-gnurl/Makefile b/aux-gnurl/Makefile
index daee65456..3e362fd73 100644
--- a/aux-gnurl/Makefile
+++ b/aux-gnurl/Makefile
@@ -15,6 +15,13 @@ allfiles:
lint:
sh ./man_lint.sh
+.PHONY: release
+release:
+ (cd .. ; sh ./buildconf)
+ (cd .. ; CC="ccache cc" sh ./configure-gnurl)
+ (cd .. ; make)
+ (cd .. ; make -C tests test)
+
.PHONE: clean
clean:
git restore ..
--
To stop receiving notification emails like this one, please contact
address@hidden.