Package: jed / 1:0.99.19-7

update-Makefile.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Description: Hacky fix for autotools issues
 We patch the configure script in order to find the terminfo library
 in the Debian location. However doing this cause a build failure
 because the below "Makefile is older than the configure script" check
 is triggered, and the build aborts.
 This should all be fixed by a proper autoreconfing, but some work is
 neeed to get that working as the autofoo is old. In the meantime
 simply nobbling the offending test does the job as everything still
 works.
Author: Wookey <wookey@debian.org>
Bug-Debian: https://bugs.debian.org/804083
Last-Update: 2016-07-25

--- jed-0.99.19.orig/autoconf/Makefile.in
+++ jed-0.99.19/autoconf/Makefile.in
@@ -15,13 +15,9 @@ xjed: makefiles
 rgrep: makefiles
 	cd src; $(MAKE) rgrep
 Makefile: configure autoconf/Makefile.in
-	@echo "Makefile is older than the configure script".
-	@echo "Please re-run the configure script."
-	@exit 1
+
 src/Makefile: configure src/Makefile.in src/config.hin src/jed-feat.h
-	@echo "src/Makefile is older than its dependencies".
-	@echo "Please re-run the configure script."
-	@exit 1
+
 makefiles: Makefile src/Makefile
 clean:
 	/bin/rm -f *~