diff options
| author | ztong <ztong@cs.unc.edu> | 2021-03-10 15:29:46 -0500 |
|---|---|---|
| committer | ztong <ztong@cs.unc.edu> | 2021-03-10 15:29:46 -0500 |
| commit | 22fa2c37519cdd1d7e261d4efe0d3aa57b96c716 (patch) | |
| tree | a47385ba5748de35333ae5bd862ce108d97062fd /Makefile | |
| parent | bea119e8503107b92aae3bd26f2ceac104f58293 (diff) | |
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 ?= ../liblitmus | 8 | LIBLITMUS ?= ../liblitmus-ext-res |
| 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. |