From 53785c960f7e9d8e04197df2300a552a1171c3fc Mon Sep 17 00:00:00 2001 From: Timothy Pearson Date: Wed, 11 Jan 2012 13:37:59 -0600 Subject: Fix kdeedu makefile glitch This closes Bug 785 (cherry picked from commit b83d045598947bb355ed6a2996b24225da6a9ffa) --- kalzium/src/solver/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kalzium') diff --git a/kalzium/src/solver/Makefile b/kalzium/src/solver/Makefile index 4b96fdb7..6012982c 100644 --- a/kalzium/src/solver/Makefile +++ b/kalzium/src/solver/Makefile @@ -89,4 +89,4 @@ install : .depend: parser.ml lexer.ml $(OCAMLDEP) $(INCLUDES) *.mli *.ml > $@ -include .depend +-include .depend -- cgit v1.2.1