diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-07-11 08:46:42 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-11 08:46:42 -0700 |
commit | db892350447a6ffd83d22bedfe056ab1a90da547 (patch) | |
tree | 0013bde6006f88f1d28beb3c9557c8aa35fba670 /src/CMakeLists.txt | |
parent | 2bb51691fa389ead76f6531a677397f6c24f75f5 (diff) |
Removed dependence on debug.h.
(It uses GNU extensions, and we don't need it anyway.)
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 0324fb4..d8e57af 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -9,7 +9,6 @@ set(HEADERS iterator.h chunk.h references.h - debug.h bench.h utf8.h scanners.h |