[gnurl] 01/02: makefile.

[gnunet]

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.