From 76267c410ee5a713e61d83e14fa2f1852fad9146 Mon Sep 17 00:00:00 2001
From: Anna Lyons <Anna.Lyons@data61.csiro.au>
Date: Fri, 15 Mar 2019 15:44:43 +1100
Subject: [PATCH] Remove kernel_astyle.sh
Instead style.sh from seL4_tools should be used
---
tools/kernel_astyle.sh | 21 ---------------------
1 file changed, 21 deletions(-)
delete mode 100755 tools/kernel_astyle.sh
diff --git a/tools/kernel_astyle.sh b/tools/kernel_astyle.sh
deleted file mode 100755
index c51da8b2d..000000000
--- a/tools/kernel_astyle.sh
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/bin/bash
-
-#
-# Copyright 2018, Data61
-# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
-# ABN 41 687 119 230.
-#
-# This software may be distributed and modified according to the terms of
-# the BSD 2-Clause license. Note that NO WARRANTY is provided.
-# See "LICENSE_BSD2.txt" for details.
-#
-# @TAG(DATA61_BSD)
-#
-
-kernel_sources=$(find ../src ../include ../libsel4 -name '*.[ch]')
-if [[ -z $kernel_sources ]]; then
- echo "Unable to find kernel source files"
- exit 1
-fi
-
-astyle --max-instatement-indent=120 --style=otbs --pad-header --indent=spaces=4 --pad-oper ${kernel_sources}
--
GitLab