From 85fdaf22994ead86a43b4880cb4875094612bd72 Mon Sep 17 00:00:00 2001 From: Aleksa Vučković Date: Sun, 16 Jan 2022 14:37:35 +0100 Subject: Recompiling when included header files change --- scripts/install_headers.sh | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100755 scripts/install_headers.sh (limited to 'scripts') diff --git a/scripts/install_headers.sh b/scripts/install_headers.sh new file mode 100755 index 0000000..213d9d5 --- /dev/null +++ b/scripts/install_headers.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +SYSROOT="/opt/aleksa" +SYSROOT_INCLUDE=$SYSROOT/usr/include/ + +rsync src/include/ "$SYSROOT_INCLUDE" -ru --delete -- cgit v1.2.3