diff options
| author | Daniel <kingdread@gmx.de> | 2020-04-18 15:12:21 +0200 |
|---|---|---|
| committer | Daniel <kingdread@gmx.de> | 2020-04-18 15:12:21 +0200 |
| commit | e19519e155af95698807f377a5f6b525e255c4e5 (patch) | |
| tree | fdd80ce3675f6b0dea70239d6c4a14affff96a13 /build.rs | |
| parent | 7030224fd2a97b3551fdd47c43249e3a42341238 (diff) | |
| download | raidgrep-e19519e155af95698807f377a5f6b525e255c4e5.tar.gz raidgrep-e19519e155af95698807f377a5f6b525e255c4e5.tar.bz2 raidgrep-e19519e155af95698807f377a5f6b525e255c4e5.zip | |
first version of the new filter pipeline
Diffstat (limited to 'build.rs')
| -rw-r--r-- | build.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build.rs b/build.rs new file mode 100644 index 0000000..23c7d3f --- /dev/null +++ b/build.rs @@ -0,0 +1,5 @@ +extern crate lalrpop; + +fn main() { + lalrpop::process_root().unwrap(); +} |