Update divinus.mk (#1470)

pull/1471/head
William Bérubé 2024-06-13 07:41:34 -04:00 committed by GitHub
parent 6378e80e49
commit 3609574abb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions

View File

@ -10,9 +10,9 @@ DIVINUS_LICENSE = MIT
DIVINUS_LICENSE_FILES = LICENSE
ifeq ($(BR2_TOOLCHAIN_USES_GLIBC),y)
DIVINUS_OPTIONS = "-s -Os -lm"
DIVINUS_OPTIONS = "-rdynamic -s -Os -lm"
else
DIVINUS_OPTIONS = "-s -Os"
DIVINUS_OPTIONS = "-rdynamic -s -Os"
endif
define DIVINUS_BUILD_CMDS