diff options
Diffstat (limited to 'src/plugins/style/recompute_STYLE_N.sh')
-rwxr-xr-x | src/plugins/style/recompute_STYLE_N.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/plugins/style/recompute_STYLE_N.sh b/src/plugins/style/recompute_STYLE_N.sh deleted file mode 100755 index 906aad8..0000000 --- a/src/plugins/style/recompute_STYLE_N.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/bash -function sedr(){ - 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" - |