From 29fd3eb1a448f3485d5f1e0ecbef122e8a460d02 Mon Sep 17 00:00:00 2001
From: Jessica Clarke <jrtc27@jrtc27.com>
Date: Tue, 29 Oct 2024 19:18:03 +0000
Subject: [PATCH] disk-image-{minimal,mfs-root}: Run /etc/rc.local at boot if
 present

Useful for running benchmarks without having to copy and modify the
entire rc script.
---
 pycheribuild/files/minimal-image/etc/rc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pycheribuild/files/minimal-image/etc/rc b/pycheribuild/files/minimal-image/etc/rc
index eace11757..aaacbe5b4 100644
--- a/pycheribuild/files/minimal-image/etc/rc
+++ b/pycheribuild/files/minimal-image/etc/rc
@@ -94,6 +94,9 @@ else
     /usr/sbin/sshd
 fi
 
+if [ -f /etc/rc.local ]; then
+    . /etc/rc.local
+fi
 
 echo "Logging in as root..."
 /usr/bin/login -f root