From f1cbe59ab86f6832e5c36b19ada7967bda9c7cd7 Mon Sep 17 00:00:00 2001
From: Aleksa Vučković <aleksav013@gmail.com>
Date: Sun, 16 Jan 2022 14:50:40 +0100
Subject: Moved install_headers.sh to aleksav013/mykernel

---
 scripts/install_headers.sh | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 scripts/install_headers.sh

(limited to 'scripts/install_headers.sh')

diff --git a/scripts/install_headers.sh b/scripts/install_headers.sh
deleted file mode 100755
index 99e7266..0000000
--- a/scripts/install_headers.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-
-SYSROOT="/opt/aleksa"
-SYSROOT_INCLUDE=$SYSROOT/usr/include
-
-if [ ! -d mykernel ]; then
-    git clone "https://github.com/aleksav013/mykernel"
-fi
-
-rm -rf "$SYSROOT_INCLUDE"
-mkdir -p "$SYSROOT_INCLUDE"
-cp -r mykernel/src/include/* "$SYSROOT_INCLUDE"
-- 
cgit v1.2.3