diff options
Diffstat (limited to 'tools/klee-replay/Makefile')
| -rw-r--r-- | tools/klee-replay/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee-replay/Makefile b/tools/klee-replay/Makefile index fcce0483..e97fc7ff 100644 --- a/tools/klee-replay/Makefile +++ b/tools/klee-replay/Makefile @@ -16,4 +16,4 @@ NO_PEDANTIC=1 include $(LEVEL)/Makefile.common -LIBS += -lutil +LIBS += -lutil -lcap |