[gnurl] 03/03: aux

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnurl.

commit d95c29a1aad80a27799d43c0f11dae5632d50bfd
Author: ng0 <address@hidden>
AuthorDate: Sun Nov 17 19:07:02 2019 +0000

    aux
---
 aux-gnurl/.gitignore | 1 +
 aux-gnurl/bootstrap  | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/aux-gnurl/.gitignore b/aux-gnurl/.gitignore
index 24600083d..01c5eb8e5 100644
--- a/aux-gnurl/.gitignore
+++ b/aux-gnurl/.gitignore
@@ -1 +1,2 @@
 !Makefile
+!bootstrap
diff --git a/aux-gnurl/bootstrap b/aux-gnurl/bootstrap
new file mode 100755
index 000000000..c0365e5fe
--- /dev/null
+++ b/aux-gnurl/bootstrap
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+cd aux-gnurl ; git restore -- Makefile ; make "$@"

-- 
To stop receiving notification emails like this one, please contact
address@hidden.