From 13d0b07430c3493b466c069858868920618fbfc0 Mon Sep 17 00:00:00 2001 From: Robin ALEXANDER Date: Sun, 23 Jan 2022 09:35:21 +0100 Subject: Raspberry Pi no longer needs --with-boost-libdir --- INSTALL.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index daaad91..8cd1c76 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -54,10 +54,6 @@ that did not yet make its way into a release, you can clone the % ./configure -* On a Raspberry Pi and other ARM systems you might need - - % ./configure --with-boost-libdir=/usr/lib/arm-linux-gnueabihf - * Build ODR-DabMux % make -- cgit v1.2.3