summaryrefslogtreecommitdiffstats
path: root/devel/splint/0001-fix-dependencies-in-Makefile.in.patch
diff options
context:
space:
mode:
Diffstat (limited to 'devel/splint/0001-fix-dependencies-in-Makefile.in.patch')
-rw-r--r--devel/splint/0001-fix-dependencies-in-Makefile.in.patch25
1 files changed, 25 insertions, 0 deletions
diff --git a/devel/splint/0001-fix-dependencies-in-Makefile.in.patch b/devel/splint/0001-fix-dependencies-in-Makefile.in.patch
new file mode 100644
index 0000000000..209e871631
--- /dev/null
+++ b/devel/splint/0001-fix-dependencies-in-Makefile.in.patch
@@ -0,0 +1,25 @@
+From c79298d8813e010cfce30b31c66008c1a7c99392 Mon Sep 17 00:00:00 2001
+From: Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de>
+Date: Sat, 24 May 2014 19:24:23 +0200
+Subject: [PATCH] fix dependencies in Makefile.in
+
+---
+ src/Makefile.in | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/src/Makefile.in b/src/Makefile.in
+index 7615e79..ed52d12 100644
+--- a/src/Makefile.in
++++ b/src/Makefile.in
+@@ -480,7 +480,7 @@ am__objects_18 = constraintList.$(OBJEXT) constraintResolve.$(OBJEXT) \
+ constraint.$(OBJEXT) loopHeuristics.$(OBJEXT)
+ am__objects_19 =
+ am__objects_20 = $(am__objects_19)
+-am__objects_21 = $(am__objects_7) $(am__objects_16) $(am__objects_17) \
++am__objects_21 = $(am_objects_12) $(am__objects_7) $(am__objects_16) $(am__objects_17) \
+ $(am__objects_18) $(am__objects_20) $(am__objects_19)
+ am_splint_OBJECTS = $(am__objects_21)
+ splint_OBJECTS = $(am_splint_OBJECTS)
+--
+1.9.3
+