diff options
| author | 2020-11-18 19:37:18 -0600 | |
|---|---|---|
| committer | 2020-11-18 19:37:18 -0600 | |
| commit | 6720b34868c0eb89db251b89d9b6d0055b37a254 (patch) | |
| tree | b8f7ae8e7f3e45f38b80cd743846a3df45172ab0 /tools | |
| parent | Merge branch 'master' of github.com:janet-lang/janet (diff) | |
Don't use peg for patch tool.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/patch-header.janet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/patch-header.janet b/tools/patch-header.janet index af44aba0..96ed0b5e 100644 --- a/tools/patch-header.janet +++ b/tools/patch-header.janet @@ -1,3 +1,3 @@ # Patch janet.h (def [_ janeth janetconf output] (dyn :args)) -(spit output (peg/replace `#include "janetconf.h"` (slurp janetconf) (slurp janeth))) +(spit output (string/replace `#include "janetconf.h"` (slurp janetconf) (slurp janeth))) |
