diff options
author | NunoSempere <nuno.sempere@protonmail.com> | 2023-04-21 19:19:11 -0400 |
---|---|---|
committer | NunoSempere <nuno.sempere@protonmail.com> | 2023-04-21 19:19:11 -0400 |
commit | b129954d4d2f3fcc176f3bea96110e9dfd188bd5 (patch) | |
tree | 8092e2a59adbefdb692c278462aaeba5ce6a4bb0 /plugins/style | |
parent | b32749aa6e495aedc286e9537a4ee664c467919c (diff) |
feat: improve compilation a bit.
- tcc -> gcc (noticeably faster compilation)
Diffstat (limited to 'plugins/style')
-rwxr-xr-x | plugins/style/recompute_STYLE_N.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/plugins/style/recompute_STYLE_N.sh b/plugins/style/recompute_STYLE_N.sh index 906aad8..09faed2 100755 --- a/plugins/style/recompute_STYLE_N.sh +++ b/plugins/style/recompute_STYLE_N.sh @@ -1,8 +1,9 @@ -#!/bin/bash -function sedr(){ +#!/bin/sh +sed_wrapper() +{ find ./ -type f -exec sed -i -e "$1" {} \; } ## e.g., sedr "s/target/replacement/g" -STYLE_N=$(wc -c style.js | cut -d " " -f 1) -sedr "s/^#define STYLE_N .*/#define STYLE_N $STYLE_N + 1/g" +STYLE_N=`wc -c style.js | cut -d " " -f 1` +sed_wrapper "s/^#define STYLE_N .*/#define STYLE_N $STYLE_N + 1/g" |