aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorCalvin Rose <calsrose@gmail.com>2020-11-18 10:53:36 -0600
committerCalvin Rose <calsrose@gmail.com>2020-11-18 10:53:36 -0600
commit53aa19a9164355acd2c1b41db1d83da5293fe11d (patch)
tree416f9c605e6f6aa123cdbdbb56845b8b07a71fd6 /tools
parentOn install, merge janetconf.h into janet.h (diff)
Several changes to move pipe creation back into ev.c
Diffstat (limited to 'tools')
-rw-r--r--tools/patch-header.janet11
1 files changed, 1 insertions, 10 deletions
diff --git a/tools/patch-header.janet b/tools/patch-header.janet
index bbc86653..af44aba0 100644
--- a/tools/patch-header.janet
+++ b/tools/patch-header.janet
@@ -1,12 +1,3 @@
# Patch janet.h
-
(def [_ janeth janetconf output] (dyn :args))
-
-(def- replace-peg
- (peg/compile
- ~(% (* '(to `#include "janetconf.h"`)
- (constant ,(slurp janetconf))
- (thru `#include "janetconf.h"`)
- '(any 1)))))
-
-(spit output (first (peg/match replace-peg (slurp janeth))))
+(spit output (peg/replace `#include "janetconf.h"` (slurp janetconf) (slurp janeth)))