From 096579cbd720bb0b6d0f974cdf0765cf0fdcfca4 Mon Sep 17 00:00:00 2001 From: ng0 Date: Mon, 14 Oct 2019 15:45:45 +0000 Subject: kommando zurueck, this time for real. --- pre-commit | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100755 pre-commit (limited to 'pre-commit') diff --git a/pre-commit b/pre-commit deleted file mode 100755 index c67fcaf0c..000000000 --- a/pre-commit +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/sh -# Run this script to indent the GNUnet code. When run without arguments, -# it indents the ENTIRE src/ tree. Run with 'src/XXX' to indent the -# src/XXX directory. -# -# This script is in the public domain. -if test $# = 0 -then - PATHS=src/ -else - PATHS="$@" -fi -find $PATHS -name "*.c" -exec indent {} \; -find $PATHS -name "*.h" -exec indent {} \; -find $PATHS -name "*.c" -exec indent {} \; -find $PATHS -name "*.h" -exec indent {} \; -find $PATHS -name "*.c" -exec contrib/scripts/removetrailingwhitespace.py {} \; -find $PATHS -name "*.h" -exec contrib/scripts/removetrailingwhitespace.py {} \; -if test -n "`dos2unix -V | head -n1 | awk '{print $1 $2}'`"; then - find $PATHS -name "*.c" -exec dos2unix {} \; - find $PATHS -name "*.h" -exec dos2unix {} \; -fi -- cgit v1.2.3