Commit ecdd40a8035ebf17eea9f5111a067c085f165a49

Thomas de Grivel 2023-09-15T13:17:17

profile

1
2
3
4
5
6
7
8
9
10
11
12
diff --git a/etc/profile b/etc/profile
index 4fca22b..64ebde5 100644
--- a/etc/profile
+++ b/etc/profile
@@ -13,3 +13,7 @@ export LD_LIBRARY_PATH="${RBPKG_DIR}/lib:${LD_LIBRARY_PATH}"
 export CPPFLAGS="${CPPFLAGS} -I${RBPKG_DIR}/include"
 export LDFLAGS="${LDFLAGS} -L${RBPKG_DIR}/lib"
 export PKG_CONFIG_PATH="${RBPKG_DIR}/lib/pkgconfig"
+
+if [ -f "${RBPKG_DIR}/etc/profile.local" ]; then
+    . "${RBPKG_DIR}/etc/profile.local"
+fi