aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjoern B. Brandenburg <bbb@cs.unc.edu>2011-11-22 07:50:58 -0500
committerBjoern B. Brandenburg <bbb@cs.unc.edu>2011-11-24 15:19:38 -0500
commit765c1b704ec458a4224d9cd3e9cd38b5cf184395 (patch)
tree19f9114d3d6f087e28981f36390ca1113745f092
parentf39cb0054e5d261aea167dcbd59390c4726842e8 (diff)
Use a version-agnostic default path.wip-2011.2-bbb
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 4214b9a..246dd7c 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@
5-include .config 5-include .config
6 6
7# Where is the LITMUS^RT userspace library source tree? 7# Where is the LITMUS^RT userspace library source tree?
8LIBLITMUS ?= ../liblitmus2010 8LIBLITMUS ?= ../liblitmus
9 9
10# Include default configuration from liblitmus 10# Include default configuration from liblitmus
11# Liblitmus must have been built before ft_tools can be built. 11# Liblitmus must have been built before ft_tools can be built.