diff options
author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-11-22 07:50:58 -0500 |
---|---|---|
committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-11-24 15:19:38 -0500 |
commit | 765c1b704ec458a4224d9cd3e9cd38b5cf184395 (patch) | |
tree | 19f9114d3d6f087e28981f36390ca1113745f092 /Makefile | |
parent | f39cb0054e5d261aea167dcbd59390c4726842e8 (diff) |
Use a version-agnostic default path.wip-2011.2-bbb
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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? |
8 | LIBLITMUS ?= ../liblitmus2010 | 8 | LIBLITMUS ?= ../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. |