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 | |
| parent | d3acd2ab316969ccce0d6ad0d15667280e71e259 (diff) | |
Use a version-agnostic default path.wip-bbb
| -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. |