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 | |
parent | b32749aa6e495aedc286e9537a4ee664c467919c (diff) |
feat: improve compilation a bit.
- tcc -> gcc (noticeably faster compilation)
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/readability/readability.c | 2 | ||||
-rw-r--r-- | plugins/readability/readability.h | 2 | ||||
-rwxr-xr-x | plugins/readability/recompute_READABILITY_N.sh | 9 | ||||
-rwxr-xr-x | plugins/style/recompute_STYLE_N.sh | 9 |
4 files changed, 12 insertions, 10 deletions
diff --git a/plugins/readability/readability.c b/plugins/readability/readability.c index bc2f02f..327f212 100644 --- a/plugins/readability/readability.c +++ b/plugins/readability/readability.c @@ -1,7 +1,7 @@ #include <stdio.h> #include <stdlib.h> #include <string.h> -#define READABILITY_N 85133 + 1000 +#define READABILITY_N 85314 + 1000 void read_readability_js(char* string) { diff --git a/plugins/readability/readability.h b/plugins/readability/readability.h index 6a21a8c..4139213 100644 --- a/plugins/readability/readability.h +++ b/plugins/readability/readability.h @@ -1,7 +1,7 @@ #ifndef READABILITY #define READABILITY -#define READABILITY_N 85133 + 1000 +#define READABILITY_N 85314 + 1000 void read_readability_js(char* string); diff --git a/plugins/readability/recompute_READABILITY_N.sh b/plugins/readability/recompute_READABILITY_N.sh index 85d3352..2e4fc91 100755 --- a/plugins/readability/recompute_READABILITY_N.sh +++ b/plugins/readability/recompute_READABILITY_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" -READABILITY_N=$(wc -c readability.js | cut -d " " -f 1) -sedr "s/^#define READABILITY_N .*/#define READABILITY_N $READABILITY_N + 1000/g" +READABILITY_N=`wc -c readability.js | cut -d " " -f 1` +sed_wrapper "s/^#define READABILITY_N .*/#define READABILITY_N $READABILITY_N + 1000/g" 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" |