summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMax <msuraev@sysmocom.de>2018-12-11 12:33:37 +0100
committerMax <msuraev@sysmocom.de>2018-12-11 12:33:37 +0100
commit00fcc4927802ff0ad1c3e622b767a66fab634a7e (patch)
tree4c1998071eadecf41ba234e25b9f3174e286c1d1
parentfe200d7fef35b4f9bc7d10e24f25b65d9587b530 (diff)
regen-makefile.sh: add link to related Debian bug in comment
This makes it easier to track when this workaround can be disabled once Debian/upstream (hopefully) resolve the issue. Change-Id: I3c4ed0ae5c1145f162b2745f4a46705b51874b5b
-rwxr-xr-xregen-makefile.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/regen-makefile.sh b/regen-makefile.sh
index b8be4ea..a9f8562 100755
--- a/regen-makefile.sh
+++ b/regen-makefile.sh
@@ -6,6 +6,8 @@
# the binaries to different paths without patching the make file
# generator, leading in inconsistent non-working Makefiles.
#
+# See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=884303 for details.
+#
# The regexes below patch the generated Makefile to work on Debian 9 and
# unstable, so far tested with TITAN 6.1.0, 6.2.0 and 6.3.0
#