diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2018-09-04 15:03:17 +0300 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2019-06-10 19:40:33 +0300 |
commit | 1ab7c0ee3b869ea7bd480f323fbf28d745acdd17 (patch) | |
tree | 02a871bdaea19f46e60a78cbec5d561775b54f28 /scripts | |
parent | c88ee18ddaacfc30b5b569be401dcaae945b004e (diff) |
scripts: remove auto-rustfmt from pre-commit hook
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/pre-commit | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/pre-commit b/scripts/pre-commit index 478e4714..c497106e 100755 --- a/scripts/pre-commit +++ b/scripts/pre-commit @@ -66,15 +66,6 @@ else printf "${SUCCESS}\n" fi -printf "${PREFIX} Checking for rustfmt ... " -command -v rustfmt &>/dev/null -if [ $? == 0 ]; then - printf "${SUCCESS}\n" -else - printf "${FAILURE}\n" - exit 1 -fi - printf "${PREFIX} Checking for shasum ... " command -v shasum &>/dev/null if [ $? == 0 ]; then |