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-22 07:50:58 -0500 |
commit | 5e51c16c883882a2cb1d98593e76e53629517358 (patch) | |
tree | ea066ce219c310b67e2ddd845fc77f8756619595 /Makefile | |
parent | d3acd2ab316969ccce0d6ad0d15667280e71e259 (diff) |
Use a version-agnostic default path.wip-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. |