From 34817221d8e971abaf3046076360362bdf09c7ac Mon Sep 17 00:00:00 2001 From: Joseph Cloutier Date: Sat, 28 May 2022 18:49:17 -0400 Subject: [PATCH] Adjust RPI build settings. Co-authored-by: Patrick Gutlich --- project/Build.xml | 5 +++-- project/lib/hashlink | 1 + 2 files changed, 4 insertions(+), 2 deletions(-) create mode 160000 project/lib/hashlink diff --git a/project/Build.xml b/project/Build.xml index 2c4261dc4..952cd8381 100755 --- a/project/Build.xml +++ b/project/Build.xml @@ -236,8 +236,8 @@ - - + + @@ -500,6 +500,7 @@ + diff --git a/project/lib/hashlink b/project/lib/hashlink new file mode 160000 index 000000000..68daa125a --- /dev/null +++ b/project/lib/hashlink @@ -0,0 +1 @@ +Subproject commit 68daa125ad115a1f1d1db65d38e6045858d55013