summaryrefslogtreecommitdiffstats
path: root/kalzium/src/solver
diff options
context:
space:
mode:
authorTimothy Pearson <[email protected]>2012-01-11 13:37:59 -0600
committerTimothy Pearson <[email protected]>2012-01-11 13:37:59 -0600
commitb83d045598947bb355ed6a2996b24225da6a9ffa (patch)
tree5cc8a26e82d983997c6576a87c9db876ff2f25d5 /kalzium/src/solver
parentbc76b9155976ba3e31059f444a31f5f002f0894c (diff)
downloadtdeedu-b83d045598947bb355ed6a2996b24225da6a9ffa.tar.gz
tdeedu-b83d045598947bb355ed6a2996b24225da6a9ffa.zip
Fix kdeedu makefile glitch
This closes Bug 785
Diffstat (limited to 'kalzium/src/solver')
-rw-r--r--kalzium/src/solver/Makefile2
1 files changed, 1 insertions, 1 deletions
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